Workshop CC7125 - 2022

Jueves 1 de Diciembre 2022, auditorio Flajolet (3er piso poniente)

• [14:05-14:30] Stefan Malewski : Rewrite rules (slides)
• [14:30-14:55] Bruno García : Mechanized semantics for the Clight subset of the C language (slides)
• [14:55-15:20] Damián Arquez : Locally nameless representation (slides)
• [15:30-15:55] José Romero : Dependent types in Haskell (slides)
• [15:55-16:20] Ismael Correa : Coinduction in Coq (slides)(code)
• [16:20-16:35] Andrés Restrepo : Parametricity and dependent types (slides)
• [16:35-16:55] Tomás Vallejos : Deriving induction principles using parametricity (slides)