A. The basics of functional programming in Scheme. 2 weeks
B. Lambda calculus and the Scheme interpreter. 1 week.
C. Procedures as values. Object-oriented programming. 1 week.
D. Extending the language, Streams. 1 week.
E. ML programming (basics and concrete types). 2 weeks.
F. Abstract types and modules. 1 week.
G. Static type checking. 1 week.
H. Fixed-point semantics. 1 week.
back to CS101a course organization page