Adam Chlipala Massachusetts Institute of Technology (USA)
Challenges Scaling Type-Theory-Based Verification to Cryptographic Code in Production
Assia Mahboubi INRIA, University of Nantes (France)
Classical analysis in dependent type theory
Conor McBride University of Strathclyde (UK)
Check the Box!
Stephanie Weirich University of Pennsylvania (USA)
A Dependently-Typed Core Calculus for GHC