Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| teaching:cc7125:2022-2 [2022/12/02 13:08] – tdiaz | teaching:cc7125:2022-2 [2022/12/02 21:15] (current) – etanter |
|---|
| * [14:30-14:55] **Bruno García** : Mechanized semantics for the Clight subset of the C language ({{ :teaching:cc7125:2_bruno_garcia_clight.key |slides}}) | * [14:30-14:55] **Bruno García** : Mechanized semantics for the Clight subset of the C language ({{ :teaching:cc7125:2_bruno_garcia_clight.key |slides}}) |
| * [14:55-15:20] **Damián Arquez** : Locally nameless representation ({{ :teaching:cc7125:3_damian_arquezlocallynameless.key |slides}}) | * [14:55-15:20] **Damián Arquez** : Locally nameless representation ({{ :teaching:cc7125:3_damian_arquezlocallynameless.key |slides}}) |
| * [15:20-15:30] **Pausa** | |
| * [15:30-15:55] **José Romero** : Dependent types in Haskell ({{ :teaching:cc7125:4_jose_romero_presentacion-coq.key |slides}}) | * [15:30-15:55] **José Romero** : Dependent types in Haskell ({{ :teaching:cc7125:4_jose_romero_presentacion-coq.key |slides}}) |
| * [15:55-16:20] **Ismael Correa** : Coinduction in Coq ({{ :teaching:cc7125:5_ismael_correa_presentacion_coinductivos_coq.pdf |slides}})({{ :teaching:cc7125:coinduction_ismael_correa.v |code}}) | * [15:55-16:20] **Ismael Correa** : Coinduction in Coq ({{ :teaching:cc7125:5_ismael_correa_presentacion_coinductivos_coq.pdf |slides}})({{ :teaching:cc7125:coinduction_ismael_correa.v |code}}) |
