New R. Harper book: Practical Foundations for Programming Languagesexistentialtype.wordpress.com2 points·ikram··0 commentsOpen articleSaveView on HN