Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Garillot, François"'
Autor:
Garillot, François
Cette thèse présente des avancées dans l'utilisation des Structures Canoniques, un mécanisme du langage de programmation de l'assistant de preuve Coq, équivalent à la notion de classes de types. Elle fournit un nouveau modèle pour le développ
Externí odkaz:
http://pastel.archives-ouvertes.fr/pastel-00649586
http://pastel.archives-ouvertes.fr/docs/00/64/95/86/PDF/manuscript.pdf
http://pastel.archives-ouvertes.fr/docs/00/64/95/86/PDF/manuscript.pdf
Autor:
Garillot, François
Publikováno v:
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2011. English
This thesis presents advances in the use of Canonical Structures, a programming language construct of the Coq proof assistant equivalent to the notion of type classes. It provides a new model for developping hierarchies of mathematical structures usi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::06508645a8e6d68a1f77a779d08af676
https://pastel.archives-ouvertes.fr/pastel-00649586/document
https://pastel.archives-ouvertes.fr/pastel-00649586/document
Autor:
Gonthier, Georges, Asperti, Andrea, Avigad, Jeremy, Bertot, Yves, Cohen, Cyril, Garillot, François, Le Roux, Stéphane, Mahboubi, Assia, O'Connor, Russell, Ould Biha, Sidi, Pasca, Ioana, Rideau, Laurence, Solovyev, Alexey, Tassi, Enrico, Théry, Laurent
Publikováno v:
Interactive Theorem Proving (9783642396335); 2013, p163-179, 17p
Publikováno v:
Theorem Proving in Higher Order Logics (9783642033582); 2009, p327-342, 16p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Schneider, Klaus, Brandt, Jens, Garillot, François, Werner, Benjamin
Publikováno v:
Theorem Proving in Higher Order Logics (9783540745907); 2007, p368-382, 15p
Autor:
Královič, Rastislav, Urzyczyn, Paweł, Cremet, Vincent, Garillot, François, Lenglet, Sergueï, Odersky, Martin
Publikováno v:
Mathematical Foundations of Computer Science 2006; 2006, p1-23, 23p
Publikováno v:
Acta Cybernetica; 2022, Vol. 25 Issue 4, p797-815, 19p
Autor:
JUNG, RALF, KREBBERS, ROBBERT, JOURDAN, JACQUES-HENRI, BIZJAK, ALEŠ, BIRKEDAL, LARS, DREYER, DEREK
Publikováno v:
Journal of Functional Programming; 2018, Vol. 28, pN.PAG-N.PAG, 73p
Autor:
Kenneth G. Paterson
This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2021, CT-RSA 2021, held in San Francisco, CA, USA, in May 2021.•The 27 full papers presented in this volume were carefully reviewed and selected from
Autor:
Tal Malkin, Chris Peikert
The four-volume set, LNCS 12825, LNCS 12826, LNCS 12827, and LNCS 12828, constitutes the refereed proceedings of the 41st Annual International Cryptology Conference, CRYPTO 2021. Crypto has traditionally been held at UCSB every year, but due to the C