Zobrazeno 1 - 6
of 6
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