ML
2006
ACM
13 years 10 months ago
2006
ACM
ML
2006
ACM
13 years 10 months ago
2006
ACM
Grid computing has become increasingly popular with the growth of the Internet, especially in large-scale scientific computation. Computational Grids are characterized by their s...
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 ...
ML
2006
ACM
13 years 10 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 ...
ML
2006
ACM
13 years 10 months ago
2006
ACM
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...
ML
2006
ACM
13 years 10 months ago
2006
ACM
ML
2006
ACM
13 years 10 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
ML
2006
ACM
13 years 10 months ago
2006
ACM
Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml applications and introduces new concepts to take into accoun...