Lectures
These lecture notes are now out-of-date. Please instead consult the
full text
that they grew into.
![[lambdaheads]](http://www.cs.rice.edu/CS/PLT/lambdahead.gif)
![[Programming]](/courses/cs173/2000/cs173logo-vert-1.gif){kind=small}
![[Languages]](/courses/cs173/2000/cs173logo-vert-2.gif){kind=small}