You should be able to find most all of the information you need for the course in electronic form.  For students who would like additional information, I've asked the Engineering Library to put the following books on reserve for the quarter (4 hour loan):

AUTHOR       Clack, Chris.
TITLE        Programming with Miranda / Chris Clack, Colin Myers, Ellen Poon.
PUBL INFO    New York : Prentice Hall, 1995.
SUBJECT      Functional programming languages.
SUBJECT      Miranda (Computer program language)
ADD AUTHOR   Myers, Colin.
ADD AUTHOR   Poon, Ellen.
LCCN         94030689.
ISBN         013192592X.
OCLC #       30971410.

AUTHOR       Thompson, Simon.
TITLE        Miranda : the craft of functional programming / Simon Thompson.
PUBL INFO    Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., c1995.
SUBJECT      Functional programming (Computer science)
SUBJECT      Programming languages.
LCCN         95023970.
ISBN         0201422794 (pbk.)
OCLC #       32664659.

AUTHOR       Holyer, Ian.
TITLE        Functional programming with Miranda / Ian Holyer.
SUBJECT      Functional programming (Computer science)
SUBJECT      Miranda (Computer program language)
LCCN         gb 91059730.
ISBN         0273034537 (pbk)
OCLC #       24792461.
GRSN         01775085.

AUTHOR       Guzdial, Mark.
TITLE        Squeak : open personal computing and multimedia / Mark Guzdial,
                Kim Rose.
PUBL INFO    Upper Saddle River, NJ : Prentice Hall, c2002.
SUBJECT      Object-oriented programming (Computer science)
SUBJECT      Multimedia systems.
SUBJECT      Squeak.
ADD AUTHOR   Rose, Kim.
ISBN         0130280917.
OCLC #       48085740.

AUTHOR       Guzdial, Mark.
TITLE        Squeak : object-oriented design with multimedia applications /
                Mark Guzdial.
PUBL INFO    Upper Saddle River, NJ : Prentice Hall, c2001.
SUBJECT      Object-oriented programming (Computer science)
SUBJECT      Multimedia systems.
SUBJECT      Squeak.
LCCN         00046951.
ISBN         0130280283.
OCLC #       44979725.

AUTHOR       Marriott, Kim.
TITLE        Programming with constraints : an introduction / Kim Marriott and
                Peter J. Stuckey.
PUBL INFO    Cambridge, Mass. : MIT Press, c1998.
SUBJECT      Logic programming.
SUBJECT      Constraint programming (Computer science)
ADD AUTHOR   Stuckey, Peter J.
LCCN         97040549.
ISBN         0262133415 (hardcover : alk. paper)
OCLC #       37631225.

AUTHOR       Abelson, Harold.
TITLE        Structure and interpretation of computer programs / Harold
                Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword
                by Alan J. Perlis.
EDITION      2nd ed.
PUBL INFO    Cambridge, Mass. : MIT Press ; New York : McGraw-Hill, c1996.
SUBJECT      Computer programming.
SUBJECT      LISP (Computer program language)
SUBJECT      Programming languages.
ADD AUTHOR   Sussman, Gerald Jay.
ADD AUTHOR   Sussman, Julie.
LCCN         96017756.
ISBN         0070004846 (McGraw-Hill hardcover)
ISBN         0262011530 (MIT Press hardcover)
ISBN         0262510871 (pbk. : alk. paper)
OCLC #       34576857.