Static Contract Checking for Haskell Dana N. Xu University of Cambridge Ph.D. Supervisor: Simon Peyton Jones Microsoft Research Cambridge.
Realization of natural language interfaces using
Why Haskell Matters
September 2013 - Behind the Podium