Jacques Carette

	2012
34		Jacques Carette, Aaron Stump: Towards typing for small-step direct reflection. PEPM 2012: 93-96
33		Jacques Carette, Russell O'Connor: Theory Presentation Combinators CoRR abs/1204.0053: (2012)
	2011
32		Jacques Carette, William M. Farmer, Russell O'Connor: MathScheme: Project Description. Calculemus/MKM 2011: 287-288
31		Lucas Beyak, Jacques Carette: SAGA: A DSL for Story Management DSL 2011: 48-67
30		Jacques Carette, Mustafa Elsheikh, Spencer Smith: A generative geometric kernel. PEPM 2011: 53-62
29		Jacques Carette, William M. Farmer, Filip Jeremic, Vincent Maccio, Russell O'Connor, Quang M. Tran: The MathScheme Library: Some Preliminary Experiments CoRR abs/1106.1862: (2011)
28		Jacques Carette: Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574. J. Funct. Program. 21(6): 663-664 (2011)
27		Jacques Carette, Oleg Kiselyov: Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. Sci. Comput. Program. 76(5): 349-375 (2011)
26		Jacques Carette, Michael Kucera: Partial evaluation of Maple. Sci. Comput. Program. 76(6): 469-491 (2011)
	2010
25		Jacques Carette: Mechanized Mathematics. AISC/MKM/Calculemus 2010: 157
24		Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt: Symbolic Domain Decomposition. AISC/MKM/Calculemus 2010: 172-188
23		Jacques Carette, James H. Davenport: The Power of Vocabulary: The Case of Cyclotomic Polynomials CoRR abs/1002.0012: (2010)
22		Jacques Carette, Makarius Wenzel, Freek Wiedijk: Preface. J. Autom. Reasoning 44(1-2): 1-2 (2010)
	2009
21		Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt: Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings Springer 2009
20		Jacques Carette, William M. Farmer: A Review of Mathematical Knowledge Management. Calculemus/MKM 2009: 233-246
19		James Harold Davenport, Jacques Carette: The Sparsity Challenges. SYNASC 2009: 3-7
18		Jacques Carette, Oleg Kiselyov, Chung-chieh Shan: Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Funct. Program. 19(5): 509-543 (2009)
	2008
17		Jacques Carette, William M. Farmer: High-Level Theories. AISC/MKM/Calculemus 2008: 232-245
16		Jacques Carette, Spencer Smith, John McCutchan, Christopher Kumar Anand, Alexandre Korobkine: Case Studies in Model Manipulation for Scientific Computing. AISC/MKM/Calculemus 2008: 24-37
	2007
15		Jacques Carette, Oleg Kiselyov, Chung-chieh Shan: Finally Tagless, Partially Evaluated. APLAS 2007: 222-238
14		Jacques Carette, William M. Farmer, Volker Sorge: A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM 2007: 13-26
13		Jacques Carette: A canonical form for piecewise defined functions. ISSAC 2007: 77-84
12		Jacques Carette, Michael Kucera: Partial evaluation of Maple. PEPM 2007: 41-50
11		Jacques Carette: A canonical form for some piecewise defined functions CoRR abs/cs/0702010: (2007)
10		Jacques Carette, Ryszard Janicki: Computing Properties of Numerical Imperative Programs by Symbolic Computation. Fundam. Inform. 80(1-3): 125-146 (2007)
	2006
9		Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan: Hierarchical Representations with Signatures for Large Expression Management. AISC 2006: 254-268
8		Wolfram Kahl, Jacques Carette, Xiaoheng Ji: Bimonadic Semantics for Basic Pattern Matching Calculi. MPC 2006: 253-273
7		Jacques Carette, William M. Farmer: Preface. Electr. Notes Theor. Comput. Sci. 151(1): 1-2 (2006)
6		Jacques Carette: Gaussian Elimination: A case study in efficient genericity with MetaOCaml. Sci. Comput. Program. 62(1): 3-24 (2006)
	2005
5		Jacques Carette, Oleg Kiselyov: Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. GPCE 2005: 256-274
4		Wolfram Kahl, Christopher Kumar Anand, Jacques Carette: Control-Flow Semantics for Assembly-Level Data-Flow Graphs. RelMiCS 2005: 147-160
3		Jacques Carette, Pulak Kumar Chowdhury: Symbolic Interpretation of Legacy Assembly Language. WCRE 2005: 23-32
	2004
2		Jacques Carette: Understanding expression simplification. ISSAC 2004: 72-79
1		Sergei A. Abramov, Jacques Carette, Keith O. Geddes, Ha Q. Le: Telescoping in the context of symbolic summation in Maple. J. Symb. Comput. 38(4): 1303-1326 (2004)

Coauthor Index

1	Sergei A. Abramov	[1]
2	Christopher Kumar Anand	[4] [16]
3	Lucas Beyak	[31]
4	Pulak Kumar Chowdhury	[3]
5	Claudio Sacerdoti Coen	[21]
6	James H. Davenport (James Harold Davenport)	[19] [23]
7	Lucas Dixon	[21]
8	Mustafa Elsheikh	[30]
9	William M. Farmer	[7] [14] [17] [20] [29] [32]
10	Keith O. Geddes	[1]
11	Ryszard Janicki	[10]
12	David J. Jeffrey	[9]
13	Filip Jeremic	[29]
14	Xiaoheng Ji	[8]
15	Wolfram Kahl	[4] [8]
16	Oleg Kiselyov	[5] [15] [18] [27]
17	Alexandre Korobkine	[16]
18	Michael Kucera	[12] [26]
19	Ha Q. Le	[1]
20	Vincent Maccio	[29]
21	John McCutchan	[16]
22	Michael B. Monagan	[9]
23	Russell O'Connor	[29] [32] [33]
24	Alan P. Sexton	[24]
25	Chung-chieh Shan	[15] [18]
26	Spencer Smith	[16] [30]
27	Volker Sorge	[14] [24]
28	Aaron Stump	[34]
29	Quang M. Tran	[29]
30	Stephen M. Watt	[21] [24]
31	Markus Wenzel (Makarius Wenzel)	[22]
32	Freek Wiedijk	[22]
33	Wenqin Zhou	[9]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page