Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision |
teaching:cc7125:2022-2 [2022/12/01 13:05] – etanter | teaching:cc7125:2022-2 [2022/12/01 15:51] – etanter |
---|
* [14:05-14:30] **Stefan Malewski** : Rewrite rules | * [14:05-14:30] **Stefan Malewski** : Rewrite rules |
* [14:30-14:55] **Bruno García** : Mechanized semantics for the Clight subset of the C language | * [14:30-14:55] **Bruno García** : Mechanized semantics for the Clight subset of the C language |
* [14:55-15:20] **Damián Arquez** : Locally nameless | * [14:55-15:20] **Damián Arquez** : Locally nameless representation |
* [15:20-15:30] **Pausa** | * [15:20-15:30] **Pausa** |
* [15:30-15:55] **José Romero** : Scala dependent types | * [15:30-15:55] **José Romero** : Dependent types in Haskell |
* [15:55-16:20] **Ismael Correa** : Coinducción | * [15:55-16:20] **Ismael Correa** : Coinduction in Coq |
* [16:20-16:35] **Andrés Restrepo** : Parametricity and Dependent Types | * [16:20-16:35] **Andrés Restrepo** : Parametricity and dependent Types |
* [16:35-16:55] **Tomás Vallejos** : Generación de principios de inducción en MetaCoq | * [16:35-16:55] **Tomás Vallejos** : Deriving induction principles using parametricity |
| |