Accéder directement au contenu
NT

Nicolas Tabareau

2
Documents

Présentation

Publications

pedagand
Image document

Partial Type Equivalences for Verified Dependent Interoperability

Pierre-Evariste Dagand , Nicolas Tabareau , Éric Tanter
ICFP 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