- 1
- 1
NT
Nicolas Tabareau
2
Documents
Présentation
Publications
- 2
- 2
|
Foundations of Dependent InteroperabilityJournal of Functional Programming, 2018, 28, ⟨10.1017/S0956796818000011⟩
Article dans une revue
hal-01629909v2
|
|
Partial Type Equivalences for Verified Dependent InteroperabilityICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. pp.298-310, ⟨10.1145/2951913.2951933⟩
Communication dans un congrès
hal-01328012v1
|