What people are saying - Write a review
Review: The Functional Approach to ProgrammingUser Review - Thomas - Goodreads
This was recommended by a good friends who's opinion matters greatly to me. Looking forward to finding a reasonably priced copy at some point. Read full review
Other editions - View all
abstract algorithm analyzer andalso application argument arithmetic associated AVL tree balance binary search tree binary trees bool btree CAML Cartesian product Chapter char stream compile complex compute configuration Constant construction constructors corresponding data structures defined definition denoted digits Division_by_zero doublet DUPL element environment Equiv evaluation evaluation strategy example Expr expression fun fact failwith Figure float fun x fun x y gentree grammar graph idea implementation infix int list int vect integer IntjConst isometry iter itjist let rec listjt LPAR ml_exp natural numbers node operation orelse pair parameter parser pattern matching possible produce programming languages quicksort recognizer recursive regexpr regular expression representation represented rewrite rotation rules Section semantics sequence stack string substitution subtree SWAP symbol symmetry group syntactic syntax tenv term tiling token fun transformation type int type scheme type synthesis type variable type_expr unification values of type
From Google Scholar
Andrew M Pitts, Murdoch J Gabbay
John Harrison - 2000 - Formal Methods in System Design
Fr├ed├eric Loulergue, Ga├etan Hains, Christian Foisy - 2000 - Science of Computer Programming
All Scholar search results »
David J Pym, Peter W OĺHearn, Hongseok Yang
The Functional Approach to Programming with Caml
<i>The Functional Approach to Programming</i> by Guy Cousineau and ...
Review of Cousineau G. and Mauny, M. The Functional Approach to ...
The Functional Approach to Programming - Cambridge University Press
Functional programming - Wikipedia, the free encyclopedia
The Functional Approach to Programming (豆瓣)
livre the functional approach to programming (paperback), ouvrages ...
Software Design, Testing & Engineering
inÚdit 22 - Livres
book the functional approach to programming (paperback), general ...