ML is two languages in one: there is the core, with types and expressions, and there are
modules, with signatures, structures and functors. Modules form a separate, higher-order …

ML is two languages in one: there is the core, with types and expressions, and there are
modules, with signatures, structures, and functors. Modules form a separate, higher-order …

ML modules are a powerful language mechanism for decomposing programs into reusable
components. Unfortunately, they also have a reputation for being" complex" and requiring …

ML modules are a powerful language mechanism for decomposing programs into reusable
components. Unfortunately, they also have a reputation for being “complex” and requiring …

We propose F-zip, a calculus of open existential types that is an extension of System F
obtained by decomposing the introduction and elimination of existential types into more …

The programming language Standard ML is an amalgam of two, largely orthogonal,
languages. The Core language expresses details of algorithms and data structures. The …

The programming language Standard ML is an amalgam of two, largely orthogonal,
languages. The Core language expresses details of algorithms and data structures. The …

ML-style modules are valuable in the development and maintenance of large software
systems, unfortunately, none of the existing languages support them in a fully satisfactory …

The programming language Standard ML provides first-order functors, ie modules
parameterized by modules. First-order functors in the language have a simple and elegant …

In modern Scheme, a macro captures the lexical environment where it is defined. This
creates an opportunity for extending Scheme so that macros are first-class values. The key …