75 search results - page 3 / 15 » Separate Compilation for Standard ML |
POPL
1990
ACM
14 years 18 days 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...
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
PLDI
1998
ACM
14 years 24 days ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
ML
2006
ACM
14 years 2 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
ICFP
1997
ACM
14 years 22 days 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...