Accéder directement au contenu
NT

Nicolas Tabareau

2
Documents

Présentation

Publications

meven-bertrand
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
Image document

Gradualizing the Calculus of Inductive Constructions

Meven Lennon-Bertrand , Kenji Maillard , Nicolas Tabareau , Éric Tanter
ACM Transactions on Programming Languages and Systems (TOPLAS), 2022, ⟨10.1145/3495528⟩
Article dans une revue hal-02896776v5