- 2
NT
Nicolas Tabareau
2
Documents
Présentation
Publications
- 2
- 2
- 1
- 1
|
A Reasonably Gradual Type TheoryProceedings of the ACM on Programming Languages, In press
Article dans une revue
hal-03596652v2
|
|
Gradualizing the Calculus of Inductive ConstructionsACM Transactions on Programming Languages and Systems (TOPLAS), 2022, ⟨10.1145/3495528⟩
Article dans une revue
hal-02896776v5
|