Sciweavers

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