3 search results - page 1 / 1 » Defunctionalization at Work |
PPDP
2001
Springer
13 years 9 months ago
2001
Springer
SFP
2004
13 years 6 months ago
2004
: In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to an abstract machine for this lan...
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...