Hacker News
- Curry–Howard correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 22 comments
- Examples of seemingly non-mathematical objects/processes that model algebraic structures https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 41 comments math
Linking pages
- Why Don't People Use Formal Methods? https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 382 comments
- A Pythonista's Review of Haskell > Ying Wang https://bytes.yingw787.com/posts/2020/01/30/a_review_of_haskell/ 160 comments
- The Future of Programming is Dependent Types — Programming Word of the Day | by Marin Benčević | Background Thread | Medium https://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878 152 comments
- Rust: beyond the typechecker https://blog.merigoux.ovh/en/2019/04/16/verifying-rust.html 135 comments
- Would aliens understand lambda calculus? - Tomas Petricek http://tomasp.net/blog/2018/alien-lambda-calculus/ 111 comments
- What I've Learned About Formal Methods In Half a Year â Jakob's Personal Webpage https://jakob.space/blog/what-ive-learned-about-formal-methods.html 70 comments
- Kindness for Mean Girls: a discussion on type-level programming in Haskell | Ayman Nadeem https://www.aymannadeem.com/haskell/2020/05/15/Kindness-for-Mean-Girls.html 62 comments
- Either why or how http://marcosh.github.io/post/2021/09/24/either-why-or-how.html 48 comments
- The refreshing simplicity of compiling Formality to… anything | by Victor Maia | Medium https://medium.com/@maiavictor/the-refreshing-simplicity-of-compiling-formality-to-anything-388a1616f36a 43 comments
- The Blag — Logic And Graphics - Curry-Howard is overrated https://blag.cedeela.fr/curry-howard-scam/ 34 comments
- Rust: beyond the typechecker https://blog.merigoux.fr/en/2019/04/16/verifying-rust.html 33 comments
- How to implement dependent types in 80 lines of code · GitHub https://gist.github.com/Hirrolot/27e6b02a051df333811a23b97c375196 33 comments
- Unboxed union types in Scala via the Curry-Howard isomorphism - Miles Sabin http://www.chuusai.com/2011/06/09/scala-union-types-curry-howard/ 18 comments
- S. Derosiaux | Types: Never commit too early - Part 1: The Free Theorems https://www.sderosiaux.com/articles/2018/08/15/types-never-commit-too-early-part1/ 12 comments
- Explaining formal proofs http://boxbase.org/entries/2019/apr/15/explaining-formal-proofs/ 10 comments
- Unboxed union types in Scala via the Curry-Howard isomorphism - Miles Sabin https://milessabin.com/blog/2011/06/09/scala-union-types-curry-howard/ 3 comments
- Kindness for Mean Girls: a discussion on type-level programming in Haskell | Ayman Nadeem http://aymannadeem.github.io/haskell/2020/05/15/Kindness-for-Mean-Girls.html 3 comments
- The Missing Prelude to The Little Typer's Trickiest Chapter - Andrew Helwer https://ahelwer.ca/post/2022-10-13-little-typer-ch9/ 3 comments
- History of Hypergraphs: Where the Digital & Physical Universe Convene | by Seth V | Medium https://medium.com/@lee.papa/a-brief-history-of-the-hypergraph-1d8f79fd72e5 3 comments
- GitHub - spamegg1/reviews: Reviewing some online CS courses I took https://github.com/spamegg1/reviews 3 comments
Related searches:
Search whole site: site:wikipedia.org
Search title: Curry–Howard correspondence - Wikipedia
See how to search.