2362 search results - page 2 / 473 » Programming in Standard ML |
POPL
2007
ACM
14 years 6 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
PLDI
1995
ACM
13 years 9 months ago
1995
ACM
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
PEPM
1994
ACM
13 years 9 months ago
1994
ACM
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
FASE
1998
Springer
13 years 10 months ago
1998
Springer
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...
ICFP
2001
ACM
14 years 5 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...