Kenji Maillard

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Meven Lennon-Bertrand

> Home > Persons > Kenji Maillard

Publications

2024
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/AdjedjLMPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/AdjedjLMPP24
Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet:
Martin-Löf à la Coq. CPP 2024: 230-245
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/LaurentLM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/LaurentLM24
Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard:
Definitional Functoriality for Dependent (Sub)Types. ESOP (1) 2024: 302-331
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/LaurentLM24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/LaurentLM24a
Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard:
Artifact Description - Definitional Functoriality for Dependent (Sub)Types. ESOP (1) 2024: 332-337
2023
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-06376
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-06376
Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet:
Martin-Löf à la Coq. CoRR abs/2310.06376 (2023)
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-14929
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-14929
Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard:
Definitional Functoriality for Dependent (Sub)Types. CoRR abs/2310.14929 (2023)
2022
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MaillardLTT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MaillardLTT22
Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter:
A reasonably gradual type theory. Proc. ACM Program. Lang. 6(ICFP): 931-959 (2022)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/Lennon-Bertrand22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/Lennon-Bertrand22
Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter:
Gradualizing the Calculus of Inductive Constructions. ACM Trans. Program. Lang. Syst. 44(2): 7:1-7:82 (2022)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-00975
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-00975
Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter:
A Reasonably Gradual Type Theory. CoRR abs/2209.00975 (2022)
2020
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-10618
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-10618
Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter:
Gradualizing the Calculus of Inductive Constructions. CoRR abs/2011.10618 (2020)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.