Search Results - Tabareau, Nicolas

Refine Results
  1. 1
    The MetaCoq Project

    The MetaCoq Project by Sozeau, Matthieu, Anand, Abhishek, Boulier, Simon, Cohen, Cyril, Forster, Yannick, Kunze, Fabian, Malecha, Gregory, Tabareau, Nicolas, Winterhalter, Théo

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    The fire triangle: how to mix substitution, dependent elimination, and effects

    The fire triangle: how to mix substitution, dependent elimination, and effects by Pédrot, Pierre-Marie, Tabareau, Nicolas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    How synchronization protects from noise

    How synchronization protects from noise by Tabareau, Nicolas, Slotine, Jean-Jacques, Pham, Quang-Cuong

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Execution levels for aspect-oriented programming: Design, semantics, implementations and applications

    Execution levels for aspect-oriented programming: Design, semantics, implementations and applications by Tanter, Éric, Figueroa, Ismael, Tabareau, Nicolas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    An explicit formula for the free exponential modality of linear logic

    An explicit formula for the free exponential modality of linear logic by Melliès, Paul-André, Tabareau, Nicolas, Tasson, Christine

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Lawvere-Tierney sheafification in Homotopy Type Theory

    Lawvere-Tierney sheafification in Homotopy Type Theory by Quirin, Kevin, Tabareau, Nicolas

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Model structure on the universe of all types in interval type theory

    Model structure on the universe of all types in interval type theory by Boulier, Simon, Tabareau, Nicolas

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    The Marriage of Univalence and Parametricity

    The Marriage of Univalence and Parametricity by Tabareau, Nicolas, Tanter, Éric, Sozeau, Matthieu

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Coq Coq correct! verification of type checking and erasure for Coq, in Coq

    Coq Coq correct! verification of type checking and erasure for Coq, in Coq by Sozeau, Matthieu, Boulier, Simon, Forster, Yannick, Tabareau, Nicolas, Winterhalter, Théo

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Observational equality: now for good

    Observational equality: now for good by Pujet, Loïc, Tabareau, Nicolas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    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:
  12. 12
    Verified Extraction from Coq to OCaml

    Verified Extraction from Coq to OCaml by Forster, Yannick, Sozeau, Matthieu, Tabareau, Nicolas

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  13. 13
    Impredicative Observational Equality

    Impredicative Observational Equality by Pujet, Loïc, Tabareau, Nicolas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Definitional proof-irrelevance without K

    Definitional proof-irrelevance without K by Gilbert, Gaëtan, Cockx, Jesper, Sozeau, Matthieu, Tabareau, Nicolas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    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:
  16. 16
    A Contraction Theory Approach to Stochastic Incremental Stability

    A Contraction Theory Approach to Stochastic Incremental Stability by Quang-Cuong Pham, Tabareau, N., Slotine, J.-J.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Gradual Indexed Inductive Types

    Gradual Indexed Inductive Types by Malewski, Mara, Maillard, Kenji, Tabareau, Nicolas, Tanter, Éric

    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Chemical foundations of distributed aspects

    Chemical foundations of distributed aspects by Tabareau, Nicolas, Tanter, Éric

    Published in Distributed computing
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  19. 19
    The taming of the rew: a type theory with computational assumptions

    The taming of the rew: a type theory with computational assumptions by Cockx, Jesper, Tabareau, Nicolas, Winterhalter, Théo

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Equivalences for free: univalent parametricity for effective transport

    Equivalences for free: univalent parametricity for effective transport by Tabareau, Nicolas, Tanter, Éric, Sozeau, Matthieu

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: