Accéder directement au contenu
NT

Nicolas Tabareau

1
Documents

Présentation

Publications

pierre-marie-pedrot
"pierre-marie-pedrot"
"eric-tanter"
Image document

A Reasonably Exceptional Type Theory

 Pierre-Marie Pédrot , Nicolas Tabareau , Hans Jacob Fehrmann , Éric Tanter
Proceedings of the ACM on Programming Languages, 2019, Issue ICFP, 3, pp.1-29. ⟨10.1145/3341712⟩
Article dans une revue hal-02189128v1