Sciweavers

32 search results - page 1 / 7
» icfp 2007
Sort
View
81
Voted
ICFP
2007
ACM
16 years 1 months ago
Compiling with continuations, continued
Andrew Kennedy
87
Voted
ICFP
2007
ACM
16 years 1 months ago
Subtyping and intersection types revisited
Frank Pfenning
ICFP
2007
ACM
16 years 1 months ago
On Barron and Strachey's cartesian product function
Olivier Danvy, J. Michael Spivey
84
Voted
ICFP
2007
ACM
16 years 1 months ago
Extensible pattern matching via a lightweight language extension
Don Syme, Gregory Neverov, James Margetson
ICFP
2007
ACM
15 years 5 months ago
Evaluating high-level distributed language constructs
Jan Henry Nyström, Philip W. Trinder, David J...