156
Voted
ICFP
16 years 2 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...
103
Voted
ICFP
16 years 2 months ago
2001 ACM 
Contification is a compiler optimization that turns a function that always returns to the same place into a continuation. Compilers for functional languages use contification to e...
117
click to vote
ICFP
16 years 2 months ago
2001 ACM 
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
113
click to vote
ICFP
16 years 2 months ago
2001 ACM
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
99
Voted
ICFP
16 years 2 months ago
2001 ACM |
Programming Languages