This is an old revision of the document!
Workshop CC7125
- Stefan Malewski : Rewrite rules
- Bruno García : Mechanized semantics for the Clight subset of the C language
- Damián Arquez : Locally nameless
- José Romero : Scala dependent types
- Ismael Correa : Coinducción
- Andrés Restrepo : Parametricity and Dependent Types
- Tomás Vallejos : Generación de principios de inducción en MetaCoq