Lambda the Ultimate
- Seemingly impossible programs http://www.cs.bham.ac.uk/~mhe/.talks/popl2012/escardo-popl2012.pdf 36 comments Category Theory , Fun , Functional , Paradigms , Semantics , Theory
Linking pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:cs.bham.ac.uk
Search title: Seemingly impossible programs
See how to search.