Alan H. Bond, Department of Computer Science
email:bond@cs
Fall 2001
Course times
Wednesdays and Fridays, 3:00pm-4:30pm, Room Jorgensen 074.
Main books:
(SPL) R. Kent Dybvig
``The Scheme programming language''. Prentice-Hall.
(EFP) C. Reade "Elements of functional programming", Addison Wesley.
(MLWP) Lawrence Paulson,
"ML for the working programmer",
Cambridge.
Other books of interest
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.
Notes on ML
Robert Harper ``Introduction to Standard ML'' available on the web.
http://cm.bell-labs.com/cm/cs/what/smlnj/doc/literature.html#tutorials
Libraries
There will be copies of these books and notes on reserve in the Sherman-Fairchild library.
Course objectives
Educational objectives are to learn the concepts and
to be able to use them in programming in the Scheme and ML
programming languages.
Advice and help
The instructor and any TAs will be available during their
office hours. My office is Jorgensen 273, phone number 3034,
and I am planning to have office hours most days
during the afternoons.
In addition, we will answer questions sent by email,
I am bond@cs.
Computer resources
Scheme and ML are available on the system.
There are three different Scheme systems. SCM scheme
is evoked by scm, MIT Scheme is evoked by mitscheme,
and elk is evoked by scheme. The most standard one is scm.
You load a file using (load "filename").
ML is evoked by sml.
Class account
There is a class account cs101, with material, including example programs,
and tutorial material.
The original Scheme MIT techreport can be viewed in postscript form
using gv for example. It is in cs101/func/techrep/AIM-349.ps.
The current Scheme specification document is r5rs.ps.
Web connections
The Scheme report, giving the official definition
of the language can be found at
http://www-swiss.ai.mit.edu/~jaffer/r5rs_toc.html
A web page with FAQs on Scheme is at
http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/scheme/part1/faq.html
The web page for the standard ML system is
http://cm.bell-labs.com/cm/cs/what/smlnj/index.html
back to CS101a home page