Hacker News new | ask | show | jobs
Practical Foundations for Programming Languages [pdf] (cs.cmu.edu)
2 points by dho 5059 days ago