Hacker News
- Propositions as Types (2014) [pdf] http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf 6 comments
- Propositions as types (pdf) http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf 18 comments programming
- Propositions as Types - [PDF] (Wadler, Version 8 - 2014) http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf 3 comments haskell
Lambda the Ultimate
- Propositions as Types http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf 34 comments Fun , History , Theory
Linking pages
- Propositions as Filenames, Builds as Proofs: The Essence of Make - Bob Atkey http://bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.html 38 comments
- Linearity and Control https://blog.yoshuawuyts.com/linearity-and-control/ 17 comments
- hrs | Reading the CS Canon https://harryrschwartz.com/2014/07/03/reading-the-cs-canon.html 12 comments
- The Rise of Type Theory http://pling.jondgoodwin.com/post/rise-of-type-theory/ 0 comments
- The Curry-Howard Correspondence | Grant Jurgensen https://grant.jurgensen.dev/2022/01/08/CurryHoward.html 0 comments
Related searches:
Search whole site: site:homepages.inf.ed.ac.uk
Search title: Propositions as Types (2014) [pdf]
See how to search.