Computer science2017 · shared on Hacker News
Practical Foundations for Programming Languages 2nd edition [pdf]
Research PDF · needs verificationExplore Practical Foundations for Programming Languages 2nd edition [pdf], its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Ydanny00 ·
Kind: A Modern Proof Language
232 points111 comments
Yadamnemecek ·
Timeline for Logic, λ-Calculus, and Programming Language Theory (2012) [pdf]
200 points34 comments
YCieplak ·
Lambda Cube
139 points53 comments
YJoelMcCracken ·
On being a PhD student of Robert Harper
130 points65 comments
Yingve ·
Programming Language Theory in Agda
116 points13 comments
Ywmacmil ·
Robert Harper's Intro to Programming Languages (2016)
3 points2 comments
Ynoob_eng ·
Practical Foundations for Programming Languages 2nd edition [pdf]
1 points0 comments