4743 search results - page 18 / 949 » Introduction to Functional Programming |
215
Voted
Book
A great book about the Implementation of Functional Programming Languages.
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
194
click to vote
Book
"Pattern recognition techniques are concerned with the theory and algorithms of putting abstract objects, e.g., measurements made on physical objects, into categories. Typical...
142
click to vote
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...