An Overview of the FLINT/ML Compiler (1997)
| Venue: | In Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation |
| Citations: | 86 - 17 self |
BibTeX
@INPROCEEDINGS{Shao97anoverview,
author = {Zhong Shao},
title = {An Overview of the FLINT/ML Compiler},
booktitle = {In Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation},
year = {1997}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 type-directed compiler for SML'97 (extended with higher-order modules). The FLINT/ML compiler provides several new capabilities that are not available in other type-based compilers: ffl type-directed compilation is carried over across the higher-order module boundaries; ffl recursive and mutable data objects can use unboxed representations without incurring expensive runtime cost on heavily polymorphic code; ffl parameterized modules (functors) can be selectively specialized, just as normal polymorphic functions; ffl new type representations are used to reduce the cost of type manipulation thus the compilation time. This paper gives an overview of these novel aspects, and a preliminary report on the current status of the implementation. 1 Introduction The FLINT project at Yale aims to build a state-of-the-ar...
