Functional Programming - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials

Processing ......

FreeComputerBooks.com
Free Computer, Mathematics, Technical Books and Lecture Notes, etc.

Functional Programming

ML/Standard ML (SML) Books	Caml/Objective Caml Books
Functional Programming Using Caml Light	Programming in Haskell (John Hughes)
A Gentle Introduction To Haskell ©2000 (Paul Hudak/John Peterson/Joseph Fasel)
Applicative Programming and Specification ©1993 (Stephen Gilmore) [Homepage]
A Functional Pattern System for Object-Oriented Design ©1999 (Thomas Kühne)
Introduction to Functional Programming (by John Harrison, 1996-97) [by Mochael J. C. Gordon 1995-96]
Functional Programming and Parallel Graph Rewriting, 592 pages, ©1993 (M. J. Plasmeijer, et al)
Computational Category Theory ©1988 (D.E. Rydeheard/Rod Burstall)
Categories, Types and Structures: An introduction to the Computer Scientist (Andrea Asperti, et al)
Type Theory and Functional Programming (Simon Thompson), Addison-Wesley, ©1991
Programming in Martin-Löf's Type Theory: An Introduction (by Bengt Nordström, Kent Petersson, Jan M. Smith)
Implementing Functional Languages: A Tutorial ©1992 (Simon Peyton Jones/David Lester)
The Implementation of Functional Programming Languages (by Simon Peyton Jones, 1977)