Bidirectional Typing : From a Nice Implementation Technique to a Powerful Theoretical Tool

Meven Lennon-Bertrand

2022-12-08 14:00:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse