Practical Foundations for Programming Languages [pdf]cs.cmu.edu2 points·dho··0 commentsOpen articleSaveView on HN