Materials in the library
These are reserved course materials in the Sherman-Fairchild Library.

Main textbooks:
R. Kent Dybvig ``The Scheme programming language''. Prentice-Hall.
C. Reade "Elements of functional programming", Addison Wesley.
Lawrence Paulson, "ML for the working programmer", Cambridge.

Other textbooks of interest
George Springer and Daniel P. Friedman. ``Scheme and the art of programming''. MIT Press.
D. P. Friedman, M. Wand and C. T. Haynes, ``Essentials of programming languages'' MIT Press.
H. Abelson and G. J. Sussman. ``Structure and interpretation of computer programs'' MIT Press.
J. D. Ullman ``Elements of ML programming'' Prentice-Hall.

Books

• Alonzo Church, 1941, "The Calculi of Lambda Conversion".
  
  

Papers

• P.J. Landin 1966 "A lambda-calculus approach" in L. Fox "Advances in Programming and Non-numerical computation" Pergamon, pp. 97-141.
  This is identical to the original paper of Landin, ``The mechanical evaluation of expressions'', Computer Journal volume 6, pages 308-320, 1964, with some additional appendices, one of which outlines an example of the action of the SECD machine.
  
  
• Gerald Jay Sussman, Jack Holloway, Guy Lewis Steel, Jr. and Alan Bell, 1981, "Scheme-79 - Lisp on a Chip" Computer volume 14, number 7, pages 10-21.
  
  
• John Reynolds' famous paper on continuations "Definitional interpreters for higher order programming languages" from Proceedings of the 25th ACM Annual Conference 1972, pages 717-740.
  
  
• Paul Hudak, 1989, "Conception, Evolution, and Application of Functional Programming Languages" ACM Computing Surveys, volume 21, pages 359-411.
  
  
• Robert Harper ``Introduction to Standard ML'' also available on the web at:
  http://cm.bell-labs.com/cm/cs/what/smlnj/doc/literature.html#tutorials
  

back to CS101a home page