An implementation of standard ML modules
- 1 January 1988
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 212-223
- https://doi.org/10.1145/62678.62704
Abstract
Standard ML includes a set of module constructs that support programming in the large. These constructs extend ML's basic polymorphic type system by introducing the dependent types of Martin Löf's Intuitionistic Type Theory. This paper discusses the problems involved in implementing Standard ML's modules and describes a practical, efficient solution to these problems. The representations and algorithms of this implementation were inspired by a detailed formal semantics of Standard ML developed by Milner, Tofte, and Harper. The implementation is part of a new Standard ML compiler that is written in Standard ML using the module system.Keywords
This publication has 5 references indexed in Scilit:
- The essence of MLPublished by Association for Computing Machinery (ACM) ,1988
- Implementing RUSSELLPublished by Association for Computing Machinery (ACM) ,1986
- Using dependent types to express modular structurePublished by Association for Computing Machinery (ACM) ,1986
- Modules for standard MLPublished by Association for Computing Machinery (ACM) ,1984
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982