35 search results - page 1 / 7 » A Type-Based Compiler for Standard ML |
PLDI
1995
ACM
13 years 8 months ago
1995
ACM
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 w...
ML
2006
ACM
13 years 10 months ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
ICFP
1997
ACM
13 years 9 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
PLDI
1994
ACM
13 years 9 months ago
1994
ACM
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...