Computer science2010 · shared on Hacker News
Draft book: Practical Foundations for Programming Languages, RHarper [pdf]
Research PDF · needs verificationExplore Draft book: Practical Foundations for Programming Languages, RHarper [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.
Yp4bl0 ·
Learn C and build your own Lisp
641 points145 comments
Ytikhonj ·
“What part of Milner-Hindley do you not understand?”
284 points80 comments
Ymaryrosecook ·
Ask HN: Which people and groups are researching new approaches to programming?
263 points121 comments
Ydons ·
Mio: A High-Performance Multicore IO Manager for GHC [pdf]
226 points78 comments
Yluriel ·
Concurrency is not Parallelism (it's better) - A talk by Rob Pike
174 points54 comments
Ypsygnisfive ·
So you want to learn type theory
169 points47 comments
Ysaturnflyer ·
Functional Programming for the Object-Oriented Programmer by Brian Marick
80 points28 comments
Yfogus ·
Higher-Dimensional Type Theory
76 points10 comments
YRaphael ·
Symbols in ECMAScript 6
54 points18 comments
Yottbot ·
Modules Matter Most
47 points26 comments
Yjmount ·
Practical Foundations for Programming Languages
47 points11 comments
Yzura ·
Software Foundations. Benjamin C. Pierce et al.
37 points4 comments
Ysmikhanov ·
Ask HN: any type theory book recommendation?
17 points14 comments
Ygtani ·
Draft book: Practical Foundations for Programming Languages, RHarper [pdf]
8 points1 comments
YDanielRibeiro ·
Practical Foundations of Programming Languages
2 points0 comments
Ydho ·
Practical Foundations for Programming Languages [pdf]
2 points0 comments