25th International Conference on Types for Proofs and Programs
TYPES 2019
Oslo, Norway
11—14 June 2019
INVITED SPEAKERS
INVITED SPEAKERS
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