Hacker News
- Unboxed union types in Scala via the Curry-Howard isomorphism http://www.chuusai.com/2011/06/09/scala-union-types-curry-howard/ 18 comments
Linking pages
Linked pages
- Curry–Howard correspondence - Wikipedia https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 63 comments
- One Div Zero: Why Eager Languages Don't Have Products and Lazy Languages Don't Have Sums http://james-iry.blogspot.com/2011/05/why-eager-languages-dont-have-products.html 63 comments
- De Morgan's laws - Wikipedia https://en.wikipedia.org/wiki/De_Morgan%27s_laws 21 comments
- Double-negation translation - Wikipedia http://en.wikipedia.org/wiki/Double-negation_translation 3 comments
- 404 - Page Not Found http://www.tikalk.com/java/blog/avoiding-nothing 0 comments
Related searches:
Search whole site: site:www.chuusai.com
Search title: Unboxed union types in Scala via the Curry-Howard isomorphism - Miles Sabin
See how to search.