- How do parametricity and type classes interact? http://ttic.uchicago.edu/~dreyer/course/papers/wadler.pdf 11 comments haskell
- Matthew Fluet -- Monadic Regions http://ttic.uchicago.edu/~fluet/research/rgn-monad/index.html 3 comments programming
Lambda the Ultimate
- Local Rely-Guarantee Reasoning http://ttic.uchicago.edu/~feng/research/publications/LRG.html 6 comments Parallel/Distributed , Theory
- Taming the IXP network processor http://ttic.uchicago.edu/~blume/papers/tame-ixp.pdf 0 comments DSL , Functional , Implementation