Search Results - Lennon-Bertrand, Meven

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Correct and Complete Type Checking and Certified Erasure for Coq, in Coq

    Correct and Complete Type Checking and Certified Erasure for Coq, in Coq by Sozeau, Matthieu, Forster, Yannick, Lennon-Bertrand, Meven, Nielsen, Jakob Botsch, Tabareau, Nicolas, Winterhalter, Théo

    Published in Journal of the ACM
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Gradualizing the Calculus of Inductive Constructions

    Gradualizing the Calculus of Inductive Constructions by Lennon-Bertrand, Meven, Maillard, Kenji, Tabareau, Nicolas, Tanter, Éric

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    A reasonably gradual type theory

    A reasonably gradual type theory by Maillard, Kenji, Lennon-Bertrand, Meven, Tabareau, Nicolas, Tanter, Éric

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    A Reasonably Gradual Type Theory

    A Reasonably Gradual Type Theory by Maillard, Kenji, Lennon-Bertrand, Meven, Tabareau, Nicolas, Tanter, Éric

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Complete Bidirectional Typing for the Calculus of Inductive Constructions

    Complete Bidirectional Typing for the Calculus of Inductive Constructions by Lennon-Bertrand, Meven

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Definitional Functoriality for Dependent (Sub)Types -- Extended version

    Definitional Functoriality for Dependent (Sub)Types -- Extended version by Théo Laurent, Lennon-Bertrand, Meven, Maillard, Kenji

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Gradualizing the Calculus of Inductive Constructions

    Gradualizing the Calculus of Inductive Constructions by Lennon-Bertrand, Meven, Maillard, Kenji, Tabareau, Nicolas, Tanter, Éric

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Martin-Löf à la Coq

    Martin-Löf à la Coq by Adjedj, Arthur, Lennon-Bertrand, Meven, Maillard, Kenji, Pierre-Marie Pédrot, Pujet, Loïc

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: