mercredi 5 décembre 2018
« Une courte introduction à l'effacement de types et à la réification.  »