C'est un peu lié à mes stages de master, dont vous trouverez les rapports ici:
- Polymorphic type theory and
Uniformity principle
(en anglais).
Un peu de théorie des types de Martin-Löf et de Sémantique dénotationnelle (PER-models).
Stage de Master 1 sous la direction de Tierry Coquand à l'université de Chalmers à Göteborg (Suède). - Vers un système de type pour
le lambda-calcul avec constructeurs
(en franglais).
Typage d'un lambda-cacul modélisant le pattern matching "à la ML".
Stage de Master 2 co-encadré par Alexandre Miquel et Alejandro Ríos à l' Université de Buenos Aires (Argentine).
-
A Polymorphic Type System for the Lambda-Calculus with
Constructors.
La dernière version du système de types pour le lambda-calcul avec constructeurs proposé dans mon rapport de stage, plus riche et avec un résultat de "parfaite" normalisation.
-
Typed lambda-calculus with constructors.
Une presentation du lambda-calcul avec constructeurs et de son système de types. -
Multi-stacks abstract machine.
Ou comment voir un calcul dont les differents modes de construction commutent comme une machine à plusieurs piles.