Draft book: Practical Foundations for Programming Languages, RHarper [pdf]cs.cmu.edu8 pointsgtani16 years ago