Static interpretation of modules

DOI10.1145/317636.317800zbMath1345.68048OpenAlexW2143028982MaRDI QIDQ2817723

Martin Elsman

Publication date: 1 September 2016

Published in: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/317636.317800

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (1)

Types for modules

This page was built for publication: Static interpretation of modules