Sciweavers

ML
2006
ACM
14 years 4 months ago
ML grid programming with ConCert
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...
Tom Murphy VII
ML
2006
ACM
113views Machine Learning» more  ML 2006»
14 years 4 months ago
A separate compilation extension to standard ML
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 ...
David Swasey, Tom Murphy VII, Karl Crary, Robert H...
ML
2006
ACM
14 years 4 months ago
Seminal: searching for ML type-error messages
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 ...
Benjamin S. Lerner, Dan Grossman, Craig Chambers
ML
2006
ACM
122views Machine Learning» more  ML 2006»
14 years 4 months ago
Type-safe modular hash-consing
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...
Jean-Christophe Filliâtre, Sylvain Conchon
ML
2006
ACM
119views Machine Learning» more  ML 2006»
14 years 4 months ago
Backtracking iterators
Jean-Christophe Filliâtre
ML
2006
ACM
103views Machine Learning» more  ML 2006»
14 years 4 months ago
Type-safe distributed programming for OCaml
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...
John Billings, Peter Sewell, Mark R. Shinwell, Rok...
ML
2006
ACM
14 years 4 months ago
Ocsigen: typing web interaction with objective Caml
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...
Vincent Balat