FreeSoftwareBooks.com
the name says it all

Home Page  |   Languages   | Java/J2EE    |  Microsoft    |   Unix/Linux    |   Computer Science    |   Databases    |  Web   |   Networking  
Functional Programming 
Introduction to Functional Programming (by John Harrison, 1996-97) [by Mochael J. C. Gordon 1995-96]
Functional Programming and Parallel Graph Rewriting (by Rinus Plasmeijer and Marko van Eekelen, 1993)
Type Theory and Functional Programming (by 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 (by Simon Peyton Jones and David Lester, 1992)
The Implementation of Functional Programming Languages (by Simon Peyton Jones, 1977)
A Gentle Introduction To Haskell A Gentle Introduction to ML
Functional Programming Using Caml Light