We are investigating a new approach to compiling Standard ML (SML) based on four key
technologies: interwional polymorphism [23], nearlg tag-free garbage collection[12, 46, 34] …

Compile-time type information should be valuable in efficient compilation of statically typed
functional languages such as Standard ML. But how should type-directed compilation work …

This paper describes a memory discipline that combines region-based memory
management and copying garbage collection by extending Cheney's copying garbage …

We describe the design and implementation of a compiler that automatically translates
ordinary programs written in a subset of ML into code that generates native code at run time …

This paper presents a program transformation that allows languages with polymorphic
typing (eg ML) to be implemented with unboxed, multi-word data representations. The …

Compilers for monomorphic languages, such as C and Pascal, take advantage of types to
determine data representations, alignment, calling conventions, and register selection …

We have constructed a practical tag-free garbage collector based on explicit type
parameterization of polymorphic functions, for a dialect of ML. The collector relies on type …

The FLINT project at Yale aims to build a state-of-the-art systems environment for modern
typesafe languages. One important component of the FLINT system is a high-performance …

MLJ compiles SML'97 into verifier-compliant Java byte-codes. Its features include type-
checked interlanguage working extensions which allow ML and Java code to call each …

Run-time type dispatch enables a variety of advanced optimization techniques for
polymorphic languages, including tag-free garbage collection, unboxed function arguments …