Sciweavers

5863 search results - page 31 / 1173
» Calculating Functional Programs
Sort
View
88
Voted
PPDP
2000
Springer
15 years 5 months ago
Type-based nondeterminism checking in functional logic programs
Michael Hanus, Frank Steiner
82
Voted
ICFP
2004
ACM
16 years 2 months ago
Functional morphology
Markus Forsberg, Aarne Ranta
95
Voted
ICFP
2002
ACM
16 years 2 months ago
Contracts for higher-order functions
Robert Bruce Findler, Matthias Felleisen