Coq - PDFSEARCH.IO - Document Search Engine

Coq
Results: 297

#	Item
261	[[[COMMENT BY EITI Sec]]] A>>B25BAB288 A "@51>20=85<[removed]d.iii !B0=40@B0 , :>D8F80;L=> 70@538AB@6P`bdfxz (,.>@NPVXbftv +h8h8COQ^ams%h8COQ^ams(h8h Add to Reading List Source URL: eiti.org Language: Russian* - Date: 2014-05-21 04:15:30
262	206 Rosse Lane 105 Stanford, CA[removed]Edward Z. Yang [removed] Add to Reading List Source URL: ezyang.com Language: English - Date: 2012-11-14 19:09:33 Functional languages Functional programming Simon Peyton Jones Haskell Glasgow Haskell Compiler C-- Software engineering Coq Git Computing Software Computer programming
263	Academic software reuse, an experience report Edward Z. Yang May 14, 2012 The objective of this 6.UAP project was to build an online, educational proof assistant for classical first-order logic, which al Add to Reading List Source URL: ezyang.com Language: English - Date: 2013-05-31 17:17:03 Mathematics Automated theorem proving Logic in computer science Functional languages Proof assistant Coq Natural deduction Jape Intuitionistic logic Mathematical logic Logic Proof theory
264	Effective Interactive Proofs for Higher-Order Imperative Programs ∗ Adam Chlipala Gregory Malecha Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Separation logic Mathematical proof Coq Proof assistant Calculus of constructions ATS Modal logic First-order logic Logic Mathematical logic Theoretical computer science
265	Trace-based Verification of Imperative Programs with I/O Gregory Malecha, Greg Morrisett, Ryan Wisnesky Harvard University, Cambridge, MA, USA Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Type theory Logic in computer science Proof theory Dependently typed programming Mathematical logic Mathematical proof Mathematical induction Separation logic Coq Mathematics Theoretical computer science Logic
266	Le coq du clocher a été percé par une balle tirée par un soldat autrichien fin 19 e siècle Représente le pont enjambant la Senouire dans le bourg Add to Reading List Source URL: www.saint-pal-de-senouire.fr - Date: 2013-04-06 05:04:38
267	Coq with Classes Matthieu Sozeau Currently at the IAS, Princeton Project Team πr 2 INRIA Rocquencourt & Add to Reading List Source URL: mattam.org Language: English - Date: 2012-10-08 11:22:07 Computer programming Data types Object-oriented programming Polymorphism Functional languages Type class Subtype polymorphism Ad-hoc polymorphism Generic programming Software engineering Computing Type theory
268	Coq — Recent History SIGPLAN Programming Language Software Award POPL 2014 — San Diego, USA January 23rd 2014 Add to Reading List Source URL: mattam.org Language: English - Date: 2014-01-23 18:22:07 Coq Herbelin Coenzyme Q10 Gérard Huet SIGPLAN Type class Chemistry Declarative programming Software engineering
269	Voici les établissements de votre région où vous pourrez vous procurer votre exemplaire du de l’Est dès maintenant ANGE-GARDIEN Au coq Add to Reading List Source URL: www.journallecourrier.ca Language: French - Date: 2014-06-17 19:32:42
270	Universe Polymorphism in Coq Matthieu Sozeau1,2 and Nicolas Tabareau1,3 1 πr2 and Ascola teams, INRIA Preuves, Programmes et Syst`emes (PPS) Add to Reading List Source URL: mattam.org Language: English - Date: 2014-01-30 15:41:06 Entailment Logical consequence Philosophical logic Model theory Orbifold Logic Metalogic Deduction

UPDATE