Sciweavers

21 search results - page 1 / 5
» icfp 2002
Sort
View
ICFP
2002
ACM
14 years 4 months ago
There and back again
Olivier Danvy, Mayer Goldberg
ICFP
2002
ACM
14 years 4 months ago
Contracts for higher-order functions
Robert Bruce Findler, Matthias Felleisen