19 search results - page 1 / 4 » A separate compilation extension to standard ML |
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 ...
PLDI
1994
ACM
13 years 9 months ago
1994
ACM
ENTCS
2006
13 years 4 months ago
2006
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
POPL
1990
ACM
13 years 9 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...