Sciweavers

4835 search results - page 32 / 967
» Refactoring Functional Programs
Sort
View
130
Voted
PPDP
2000
Springer
15 years 10 months ago
Type-based nondeterminism checking in functional logic programs
Michael Hanus, Frank Steiner
ICFP
2004
ACM
16 years 6 months ago
Functional morphology
Markus Forsberg, Aarne Ranta
ICFP
2002
ACM
16 years 6 months ago
Contracts for higher-order functions
Robert Bruce Findler, Matthias Felleisen