 |
||
|
haskell.org
The book covers the following topics: Values, Types, Functions, Case Expressions and Pattern Matching, Type Classes and Overloading, Input/Output, Standard Haskell Classes
Monads, Numbers, Modules, Typing Pitfalls, Arrays....
Paul Hudak, John Peterson, Joseph Fasel
|
4
Weave it
|
|
|
||
|
www.htdp.org
One of the best books to learn Scheme and functional programming concepts. The book is freely available online. It is full of examples and exercises suitable for various levels of learning. The book assumes that the DrScheme environment is used....
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
|
5
Weave it
|
|
|
||
|
www.cs.brown.edu
"The book is the textbook for the programming languages course at Brown University, which is taken primarily by third and fourth year undergraduates and beginning graduate (both MS and PhD) students. It seems very accessible to smart second year students too, and indeed those are some of my most successful students....
Shriram Krishnamurthi
|
5
Weave it
|
|
|
||
|
www.cl.cam.ac.uk
"These are the lecture notes accompanying the course Introduction to Functional
Programming, which I taught at Cambridge University in the academic year 1996/1997."...
John Harrison
|
1
Weave it
|
|
|
||
|
homepages.mcs.vuw.ac.nz
"Design patterns inspired by functional programming concepts can advance object-oriented design. This thesis promotes the idea that concepts from the world of functional programming can be captured with design pattern descriptions. These can then be used to benefit from functional programming concepts with ordinary object-oriented languages....
Thomas Kühne
|
1
Weave it
|
|
|
||
|
homepages.cwi.nl
"This book on applications of logic in the semantic analysis of language pays the
reader the compliment of not assuming anything about what he or she knows (in particular, no specific logical knowledge or experience with programming is presupposed), while making very flattering assumptions about his or her intelligence and interest in the subject matter."...
Jan van Eijck, Christina Unger
|
2
Weave it
|
|
|
||
|
www.cs.kent.ac.uk
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scientists it provides a framework which brings together logic
and programming languages in a most elegant and fertile way: program
development and verification can proceed within a single system....
Simon Thompson
|
2
Weave it
|
|
|
||
|
www.cs.cmu.edu
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type system. It supports polymorphic type inference, which all but eliminates the burden of specifying types of variables and greatly facilitates code re-use....
Robert Harper
|
1
Weave it
|
|
