"Subset Coercions in Coq" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Subset Selection in Regression	Alan Miller	2002	Routledge
Subset selection in regression	Miller, Alan J.	2002	Chapman & Hall/CRC
Subset Selection in Regression	A. J. Miller (auth.)	1990	Springer US
ALGOL-W (subset) compiler	Carl Clifford Brewer	1972
Coq Académie	Alain M. Bergeron	2014	Boomerang éditeur jeunesse
Papa coq	Jean-Charles Sarrazin	2007	Ecole des loisirs
Le coq	Shaohin	1986	Créalivres
Tit-Coq	Gratien Gélinas	1987	Leméac
Le coq d'or,	Pushkin, Aleksandr Sergeevich,; Zworykine, Boris.	[1925]	H. Piazza
Tit-coq: théâtre	Gratien Gélinas	1994	Typo
Coq de combat	Izô Hashimoto	2003	Delcourt-Akata
Coq au vin	Charlotte Carter	1999	Mysterious Press
Le coq de bruyère	Michel Tournier	1986	Gallimard
Le coq de bruyère	Michel Tournier	1978	Gallimard
Roland, le coq paresseux	Lilian Murray	1989	Bias
Le Coq de bruyère /	Tournier, Michel.	[1978], ©1978.	Gallimard,
Du coq à l'âne	Jean Bélanger	2007	Priori-T#1
Du coq à l'âme	Raymond Turcotte	2006	TheoDone éditeur
Le coq du clocher	Reybaud, Louis	1872	Michel Lévy
De l'âne au coq	Jean-Pierre Colignon	2006	L'Archipel
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Subset Coercions in Coq	Matthieu Sozeau	Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers	Thorsten Altenkirch; Conor McBride	2007	Springer Berlin Heidelberg
Coercions		Apple Pro Training Series: AppleScript 1-2-3	Cheeseman, Bill; Soghoian, Sal	2009;2008	Peachpit Press
Coercions		AppleScript Language Guide	Apple Computer Inc	1994	Addison Wesley Longman
Coercions		Introduction to Objective Caml	Jason Hickey
Coercions		Perl Best Practices	Damian Conway	2005	O'Reilly Media
123 Coercions		The Hitchhiker’s Guide to Logical Verification	Anne Baanen, Alexander Bentkamp, Jasmin Blanchette, Johannes Hölzl, Jannis Limperg	2021
Coercions Supported		AppleScript Language Guide	Apple Computer Inc	1994	Addison Wesley Longman
81 - Coercions		Thinking with Types	Sandy Maguire	2019
Implicit coercions		A Formal Semantics for the C Programming Language	Nikolaos S. Papaspyrou	1998	Technical University of Athens
Exactions and Coercions	Sima Saigal	The Second World War and North East India: Shadows of Yesteryears	Sima Saigal	2022	Routledge
9 - Other Coercions		Lexical Meaning in Context: A Web of Words	Nicholas Asher	2011-03	Cambridge University Press
Coercions and sanctions		Everybody's political what's what?	Bernard Shaw	1944	Constable and Co.
Coercions and sanctions		Everybody\'s political what\'s what?	Bernard Shaw	1945, ©1944	Constable
Implicit coercions in type systems	Gilles Barthe	Types for Proofs and Programs: International Workshop, TYPES ' 95, Torino, Italy, June 5 - 8, 1995 Selected Papers	Stefano Berardi; Mario Coppo	1996	Springer Berlin Heidelberg
Coercions in Hindley-Milner Systems	Robert Kießling; Zhaohui Luo	Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers	Stefano Berardi; Mario Coppo; Ferruccio Damiani	2004	Springer Berlin Heidelberg
Fusion in Coq	José L. Freire Nistal; José E. Freire Brañas; Antonio Blanco Ferro; Juan J. Sánchez Penas	Computer Aided Systems Theory - EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers	Roberto Moreno-Diaz; Bruno Buchberger; Jose-Luis Freire	2001	Springer Berlin Heidelberg
HOCore in Coq	Petar Maksimović; Alan Schmitt	Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings	Christian Urban; Xingyuan Zhang	1st ed. 2015	Springer International Publishing
Coq	Laurent Théry; Pierre Letouzey; Georges Gonthier	The Seventeen Provers of the World: Foreword by Dana S. Scott	Freek Wiedijk	2006	Springer Berlin Heidelberg
coq		Lexique pour l’étude de la Franche-Comté à l’époque des Habsbourg (1493-1674)	Paul Delsalle	2004	Presses universitaires de Franche-Comté
Coq		Peindre en leur âme des fantômes: Image et éducation militante pendant les guerres de Religion	Florence Buttay	2018	Presses universitaires de Rennes
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries