- How is the double negation translation similar to CPS in functional programming languages? http://en.wikipedia.org/wiki/Double-negation_translation 3 comments math
Linking pages
- 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
- 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
Related searches:
Search whole site: site:wikipedia.org
Search title: Double-negation translation - Wikipedia
See how to search.