• Handouts
Backus, John. ``Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs'', Turing Award lecture, October 17, 1977; reprinted in Communications of the ACM 21 (1978), 613-641.
Graham, Paul. ``The hundred-year language'', April, 2003.
Griswold, Ralph E., and Griswold, Madge T. The Icon Programming Language, third edition, 1996. San Jose, California: Peer-to-Peer Communications, 1996 (ISBN 1-57398-001-3).
Kelsey, Richard; Clinger, William; and Rees, Jonathan, eds. Revised5 report on the algorithmic language Scheme, 1998. Also available in PostScript format.
Lucent Technologies. ``Standard ML of New Jersey interactive system'', 1998.
O'Connor, J. J., and Robertson, E. F. ``John Backus'', December 1996.
Peterson, John, and Chitil, Olaf. ``The Haskell home page'', 2008.
Programming Languages Team. ``PLT documentation'', 2008.
Reppy, John. ``The Standard ML basis library'', 15 April 1996.
If you're interested in learning more about the ML programming languages,
Robert Harper's book Programming in Standard ML is an excellent downloadable
source. MathLAN supports an ML compiler called mlton, in case you want to do
experiments.
We didn't have time to talk about monads. Here's an excellent paper describing their use in Haskell:
Wadler, Philip. ``Monads for functional programming.''. In In M. Broy, editor, Marktoberdorf Summer School on Program Design Calculi, Springer Verlag, NATO ASI Series F: Computer and systems sciences, Volume 118, August 1992. Also in J. Jeuring and E. Meijer, editors, Advanced functional programming, Springer Verlag, LNCS 925, 1995.
Here are links to examples of Backus-Naur form for real-world programming languages:
For any of you folks who are interested, the source code for the SLLGEN parsing system is available on the World Wide Web at http://www.cs.indiana.edu/eopl/code/interps/sllgen.scm.
You might also be interested in reading a more general discussion of scanner generators and parser generators written in Scheme:
Owens, Scott, Matthew Flatt, Olin Shivers, and Benjamin McMullan. ``Lexer and parser generators in Scheme.'' Fifth Workshop on Scheme and Functional Programming, September 22, 2004.
I've moved the general information (about textbooks, office hours, grading policies, etc.) to a page of its own.
This document is available on the World Wide Web as
http://www.cs.grinnell.edu/~stone/courses/languages/
This work is licensed under a Creative Commons Attribution-ShareAlike 3.0 United States License.
created December 26, 1995
last revised April 23, 2008