Accéder directement au contenu
NT

Nicolas Tabareau

2
Documents

Présentation

Publications

eric-tanter
"kenji-maillard"
Image document

A Reasonably Gradual Type Theory

Kenji Maillard , Meven Lennon-Bertrand , Nicolas Tabareau , Éric Tanter
Proceedings of the ACM on Programming Languages, In press
Article dans une revue hal-03596652v2