Comp 311 Notes

If you notice any errors, please tell me.

Lecture Notes

• Chapter 1: Course Overview: Why Study Programming Languages?
• Chapter 2: Syntax: the Boring Part of Programming Languages
• Chapter 3: The Scope of Variables
• Chapter 4: A Syntactic Interpreter for LC
• Chapter 5: A Meta Interpreter for LC
• Supplement to Chapter 5: Eliminating Meta-Errors
• Chapter 6: Recursive Binding
• Chapter 7: Data Domains Supporting Recursive Definitions
• Chapter 8: Assignment and Mutability
• Chapter 9: Environment Representation and Control
• Chapter 10: Method Invocation in OO Languages
• Chapter 11: What Is a Type?
• Chapter 12: Types and Safety
• Chapter 13: Types and datatype
• Chapter 14: Polymorphism
• Chapter 15: Implicit Polymorphism
• Supplement to Chapter 15: Description of Implicitly Polymorphic Jam
• Chapter 16: Types: Three Final Words
• Chapter 17: The Meaning of Function Calls and error
• Chapter 18: Explaining Letcc and Error
• Chapter 19: The True Meaning of Function Calls
• Chapter 20: How to Eat Your Memory and Have It Too
• Supplemental Chapters: The Java Virtual Machine The most basic expository articles appear at the end of the index. Read it from the bottom up.

Resources

Essentials

Essentials of Programming Languages (Second Edition) 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

HTDP

How To Design Programs by Felleisen et al

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