( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Gradualizing the Calculus of Inductive Constructions.

, , , и . ACM Trans. Program. Lang. Syst., 44 (2): 7:1-7:82 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alexander Maillard

Maria Maillard

Alexander Maillard

Pierre Maillard

Alexander Maillard

 

Другие публикации лиц с тем же именем

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq., , , , , , , , и . ACM Trans. Program. Lang. Syst., 45 (3): 15:1-15:61 (сентября 2023)Dijkstra monads for all., , , , , , и . Proc. ACM Program. Lang., 3 (ICFP): 104:1-104:29 (2019)Gradualizing the Calculus of Inductive Constructions., , , и . ACM Trans. Program. Lang. Syst., 44 (2): 7:1-7:82 (2022)The Multiverse: Logical Modularity for Proof Assistants., , , , и . CoRR, (2021)Martin-Löf à la Coq., , , , и . CPP, стр. 230-245. ACM, (2024)Gradualizing the Calculus of Inductive Constructions., , , и . CoRR, (2020)Martin-Löf à la Coq., , , , и . CoRR, (2023)Everest: Towards a Verified, Drop-in Replacement of HTTPS., , , , , , , , , и 12 other автор(ы). SNAPL, том 71 из LIPIcs, стр. 1:1-1:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)A Reasonably Gradual Type Theory., , , и . CoRR, (2022)Principles of Program Verification for Arbitrary Monadic Effects. (Principes de la Vérification de Programmes à Effets Monadiques Arbitraires).. École Normale Supérieure, Paris, France, (2019)