Practical Foundations for Programming Languages [pdf] #1 Post by dho » Mon, Aug 06, 2012, 3:57 PM UTC Practical Foundations for Programming Languages [pdf]cs.cmu.edu