Ideas & society2014 · shared on Hacker News
Propositions as Types (2014) [pdf]
Research PDF · needs verificationExplore Propositions as Types (2014) [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.
Yingve ·
“Code” 2nd Edition Now Available
525 points153 comments
Ymichalu ·
Ask HN: What are the most fundamental books on computer science?
474 points192 comments
YTD-Linux ·
Simplicity: A New Language for Blockchains [pdf]
300 points95 comments
Yj2kun ·
Programming is not math?
248 points159 comments
Yespeed ·
Algebra and the Lambda Calculus (1993)
196 points39 comments
Ynill0 ·
Propositions as Types (2014) [pdf]
108 points75 comments
Ylelf ·
Howard on Curry-Howard
76 points8 comments
Yadamnemecek ·
The Ergonomics of Type Checking (2016)
69 points93 comments
Yrendall ·
TypeScript's Type System Is Turing Complete (2017)
49 points43 comments
Ymichaelsbradley ·
Propositions as Types (2014) [pdf]
43 points6 comments
Ymlitchard ·
Propositions as Types [pdf]
7 points0 comments
Yrastrian ·
Why Reliability Demands Functional Programming
4 points0 comments
Ybouh ·
Proposition as types – historical perspective [pdf]
2 points0 comments
Ybronxbomber92 ·
Propositions as Types [PDF]
1 points0 comments