3 search results - page 1 / 1 » Defunctionalization at Work |
PPDP
2001
Springer
14 years 3 months ago
2001
Springer
SFP
2004
14 years 8 days 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 10 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...