Details of Link
 
 
TITLE
  Introduction to Functional Programming 
SUBTITLE
  Lecture notes 
DESCRIPTION
  Twelve lectures from the lambda calculus to Caml:

1) Introduction
2) Lambda Calculus
3) Lambda Calculus as a programming language
4) Types
5) A taste of ML
6) Further ML
7) Proving programs correct
8) Effective ML
9) Examples I, II, III, IV

 
REPORTER
  GPS-reporter 
AUTHOR
  John Harrison 
AUTHOR'S LINK
  mailto:jrh@cl.caml.ac.uk 
COAUTHOR
   
COAUTHOR'S LINK
   
CLASSIFICATION
  Documentation 
RELEASE
  3rd December 1997 
STABILITY
  unknown stability 
STABLE RELEASE
   
RECENT CHANGES
   
DEPENDS ON OCAML VERSION
   
DEPENDS ON OPERATING SYSTEM
   
DEPENDS ON OTHER SOFTWARE
   
INFO LINK
  http://www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/index.html 
DOWNLOAD LINK
   
DATE OF LAST MODIFICATION
  4 Aug 2001 


Navigation: [Sort by date] [Sort by author] [Sort by title] [Sort by classification] [New author] [Login]