429 search results - page 21 / 86 » Polymorphic typed defunctionalization |
OOPSLA
1995
Springer
15 years 1 months ago
1995
Springer
LICS
1991
IEEE
15 years 1 months ago
1991
IEEE
MSCS
2008
14 years 9 months ago
2008
108
click to vote
ICFP
2001
ACM
15 years 9 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...
100
click to vote
WOLLIC
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...