4743 search results - page 18 / 949 » Introduction to Functional Programming |
Book
A great book about the Implementation of Functional Programming Languages.
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
ESOP
2010
Springer
14 years 7 months ago
2010
Springer
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...
ICFP
2012
ACM
12 years 7 days 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...