Coq - PDFSEARCH.IO - Document Search Engine

Coq
Results: 297

#	Item
161	Le Coq’ Art (V8) Yves Bertot, Pierre Castéran 31 janvier 2015 2 Add to Reading List Source URL: www.labri.fr Language: French - Date: 2015-02-02 02:07:49
162	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD student, Gallium (INRIA Paris-Rocquencourt) 1 Research Background Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-23 11:30:06 Type theory Functional languages Dependent type Type system Type inference Coq Programming language Agda Type safety Programming language theory Software engineering Computing
163	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Project-Team Gallium Programming languages, types, compilation and proofs Paris - Rocquencourt Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2011-02-28 06:23:38 Functional languages Type theory Procedural programming languages Logic in computer science Cross-platform software Type system OCaml Coq ML Software engineering Computing Programming language theory
164	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2014-03-19 11:20:37 Functional languages Type theory Procedural programming languages Theoretical computer science Logic in computer science OCaml Type system Coq ML Software engineering Computing Programming language theory
165	Cost of Quality (CoQ) Guidelines  Cost should be filled as actual cost or as relative cost spent on every activity per annum.  If Relative cost is selected o Multiplier should be decided such that relative cost li Add to Reading List Source URL: www.aspiresys.com Language: English - Date: 2015-05-19 02:15:48 Quality management Test automation Quality costs Software bug Automation Test management Cost of poor quality Software testing Evaluation Technology
166	Faculty The location where the teacher is indicated. Van(Vancouver0; Rich (Richmond); Coq (Coquitlam); Sry (Surrey); Nvan (North Vancouver); Vic (Victoria); Nan (Nanaimo) Yamaha Piano Teachers Add to Reading List Source URL: www.tomleemusic.ca Language: English - Date: 2013-08-26 21:24:45 Antioxidants Benzoquinones Cellular respiration Coenzyme Q10 Coenzymes Glycolysis Coq SRY Chemistry Biology Biochemistry
167	Gabriel Scherer Gallium team INRIA Paris-Rocquencourt B Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-04-08 09:34:19 Functional languages OCaml National Institute for Research in Computer Science and Control Caml Principles of Programming Languages Coq Scherer Rocquencourt Subtype polymorphism Software engineering Computing Computer programming
168	Drink Packages (minimum 20 guests) Select a drinks package that suits your occasion and enjoy a selection of craft beers & cider along with boutique wine & champagne (prices quoted are per person). STANDARD Add to Reading List Source URL: www.superwhatnot.com Language: English - Date: 2013-08-05 23:37:34 Cider World cuisine Alcohol Drink Beer Bar Soft drink Juice A. Le Coq Alcoholic beverages Food and drink Cuisine
169	‘Yours ever so sincerely’ : Albert von le Coq seen through his correspondence with Aurel Stein Catrin Kost Research Assistant, Stein Collection Database, British Museum Add to Reading List Source URL: www.britishmuseum.org Language: English - Date: 2012-03-28 09:11:01 Albert von Le Coq International Dunhuang Project Albert Grünwedel Aurel Stein Paul Pelliot Silk Road Stein Taklamakan Desert Asia Central Asian studies German nobility
170	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 08:23:41 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory

UPDATE