469 search results - page 3 / 94 » Putting curry-howard to work |
GFKL
2006
Springer
13 years 11 months ago
2006
Springer
Stemming algorithms find canonical forms for inflected words, e. g. for declined nouns or conjugated verbs. Since such a unification of words with respect to gender, number, time, ...
CACM
1999
13 years 7 months ago
1999
stractions underlying distributed computing. We attempted to keep our preaims at an abstract and general level. In this column, we make those claims more concrete. More precisely, ...
CHI
2006
ACM
14 years 7 months ago
2006
ACM
HASKELL
2005
ACM
14 years 1 months ago
2005
ACM
ISSTA
2000
ACM
13 years 12 months ago
2000
ACM