Practical Foundations for Programming Languages [pdf]http://www.cs.cmu.edu/~rwh/plbook/book.pdf by dho • 14 years ago 2 0 14 years agoCScs.cmu.edu