TECHTEAM SHUT THE WINDOWS OF THE PAST

Wednesday, September 17, 2008

Funtional Programming

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

No comments: