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)