Coq - PDFSEARCH.IO - Document Search Engine

Coq
Results: 297

#	Item
271	Universe Polymorphism and Inference in Coq Work in progress Matthieu Sozeau Project Team πr 2 Add to Reading List Source URL: mattam.org Language: English - Date: 2013-04-26 11:29:01 Logic Type theory Inference Type inference
272	Lem: reusable engineering of real-world semantics Dominic P. Mulligan Scott Owens Kathryn E. Gray Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-11 10:57:39 Type theory Functional languages Logic in computer science Procedural programming languages Functional programming OCaml Proof assistant Coq Formal verification Software engineering Computing Programming language theory
273	BULLETIN D’INSCRIPTION À renvoyer accompagné de votre chèque à Mme Ariane Morris, trésorière de la revue Le Coq-Héron, 26 rue Pascal, 75005 Paris Journées internationales du Coq-Héron PRÉSENCE DE SANDOR FEREN Add to Reading List Source URL: pierresabourin.free.fr Language: French - Date: 2013-11-23 06:19:28
274	Le coq wallon APE : Association pour l’Espéranto - Asocio por Esperanto Pour votre épanouissement personnel et ouverture sur le monde – Deuxième langue pour tous Por via persona disvolviĝo kaj malfermo al la mond Add to Reading List Source URL: www.esperanto-wallonie.be Language: French - Date: 2014-03-02 14:07:28
275	Le coq wallon APE : Association pour l’Espéranto - Asocio por Esperanto Pour votre épanouissement personnel et ouverture sur le monde – Deuxième langue pour tous Por via persona disvolviĝo kaj malfermo al la mond Add to Reading List Source URL: www.esperanto-wallonie.be Language: French - Date: 2014-04-21 19:55:36
276	105 EDITIONS Mi-mouche Mouche Coq Add to Reading List Source URL: www.ffboxe.com Language: English - Date: 2013-06-04 11:59:07
277	Self-Certification Bootstrapping Certified Typecheckers in F? with Coq Pierre-Yves Strub Nikhil Swamy Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-11-09 13:20:49 Mathematical logic Data types Functional programming Model theory Polymorphism Coq Type system Dependent type First-order logic Type theory Software engineering Programming language theory
278	Prélicenciés LE COQ-BERNARD KRIEGUER Add to Reading List Source URL: www.ffcprovence.com Language: French - Date: 2014-05-28 08:52:25
279	A Gentle Introduction to Type Classes and Relations in Coq Pierre Castéran Add to Reading List Source URL: www.labri.fr Language: English - Date: 2012-05-31 04:34:05 Algebraic structures Semigroup theory Mathematical structures Ring theory Formal languages Monoid Ring Monad Trace monoid Abstract algebra Mathematics Algebra
280	JEAN ROBIC, LE COQ DES GRANDS COLS Il eut le génie de remporter le premier Tour de France Add to Reading List Source URL: www.lncpro.fr Language: French - Date: 2013-01-06 11:12:01

UPDATE