Sciweavers

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