[PLT logo] Lecture Notes, Comp 311

If you notice any errors, please tell me.

Lecture Notes


Resources

Essentials
Essentials of Programming Languages by Friedman, Wand and Haynes
Little
The Little Schemer (née LISPer) by Friedman and Felleisen
Seasoned
The Seasoned Schemer by Friedman and Felleisen
R5RS
The Revised^5 Report on Scheme
Art
Scheme and the Art of Programming by Springer and Friedman
C&W
Luca Cardelli and Peter Wegner, ``On Understanding Types, Data Abstraction and Polymorphism'', ACM Computing Surveys, Vol. 17, No. 4, December 1985, pp. 471-522
S&F
Amr Sabry and Matthias Felleisen, ``Reasoning about Programs in Continuation-Passing Style'', Lisp and Symbolic Computation, Vol. 6, 1992, pp. 289-360
H,D&B
Robert Hieb, R. Kent Dybvig and Carl Bruggeman, ``Representing Control in the Presence of First-Class Continuations'', Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1990, pp. 66-77