paperlined.org
academics
>
computer_science
>
languages
document updated 15 years ago, on Mar 18, 2011
Practical Foundations for Programming Languages
, Robert Harper, CMU