3 search results - page 1 / 1 » Type-Safe Distributed Programming with ML5 |
TGC
2007
Springer
13 years 10 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
PDP
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
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...