Jacques Carette

Jacques Carette, Russell O'Connor: Theory Presentation Combinators. AISC/MKM/Calculemus 2012: 202-215

Jacques Carette, Aaron Stump: Towards typing for small-step direct reflection. PEPM 2012: 93-96

Xin Feng, Simon Marr, Tony O'Callaghan, Zhi Quan Zhou, Jacques Carette: Function Substitution: Towards Constraint Solving in Software Testing. QSIC 2012: 31-40

Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (Eds.): Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Lecture Notes in Computer Science 7362, Springer 2012, isbn 978-3-642-31373-8

Jacques Carette, Russell O'Connor: Theory Presentation Combinators. CoRR abs/1204.0053 (2012)

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)

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)

Jacques Carette, Michael Kucera: Partial evaluation of Maple. Sci. Comput. Program. 76(6): 469-491 (2011)

Jacques Carette, William M. Farmer, Russell O'Connor: MathScheme: Project Description. Calculemus/MKM 2011: 287-288

Jacques Carette, Mustafa Elsheikh, Spencer Smith: A generative geometric kernel. PEPM 2011: 53-62

Lucas Beyak, Jacques Carette: SAGA: A DSL for Story Management. DSL 2011: 48-67

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)

Jacques Carette, Makarius Wenzel, Freek Wiedijk: Preface. J. Autom. Reasoning 44(1-2): 1-2 (2010)

Jacques Carette: Mechanized Mathematics. AISC/MKM/Calculemus 2010: 157

Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt: Symbolic Domain Decomposition. AISC/MKM/Calculemus 2010: 172-188

Jacques Carette, James H. Davenport: The Power of Vocabulary: The Case of Cyclotomic Polynomials. CoRR abs/1002.0012 (2010)

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)

Jacques Carette, William M. Farmer: A Review of Mathematical Knowledge Management. Calculemus/MKM 2009: 233-246

James Harold Davenport, Jacques Carette: The Sparsity Challenges. SYNASC 2009: 3-7

Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt (Eds.): 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. Lecture Notes in Computer Science 5625, Springer 2009, isbn 978-3-642-02613-3

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

Jacques Carette, William M. Farmer: High-Level Theories. AISC/MKM/Calculemus 2008: 232-245

Jacques Carette, Ryszard Janicki: Computing Properties of Numerical Imperative Programs by Symbolic Computation. Fundam. Inform. 80(1-3): 125-146 (2007)

Jacques Carette, Oleg Kiselyov, Chung-chieh Shan: Finally Tagless, Partially Evaluated. APLAS 2007: 222-238

Jacques Carette: A canonical form for piecewise defined functions. ISSAC 2007: 77-84

Jacques Carette, William M. Farmer, Volker Sorge: A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM 2007: 13-26

Jacques Carette, Michael Kucera: Partial evaluation of Maple. PEPM 2007: 41-50

Jacques Carette: A canonical form for some piecewise defined functions. CoRR abs/cs/0702010 (2007)

Jacques Carette, William M. Farmer: Preface. Electr. Notes Theor. Comput. Sci. 151(1): 1-2 (2006)

Jacques Carette: Gaussian Elimination: A case study in efficient genericity with MetaOCaml. Sci. Comput. Program. 62(1): 3-24 (2006)

Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan: Hierarchical Representations with Signatures for Large Expression Management. AISC 2006: 254-268

Wolfram Kahl, Jacques Carette, Xiaoheng Ji: Bimonadic Semantics for Basic Pattern Matching Calculi. MPC 2006: 253-273

Wolfram Kahl, Christopher Kumar Anand, Jacques Carette: Control-Flow Semantics for Assembly-Level Data-Flow Graphs. RelMiCS 2005: 147-160

Jacques Carette, Oleg Kiselyov: Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. GPCE 2005: 256-274

Jacques Carette, Pulak Kumar Chowdhury: Symbolic Interpretation of Legacy Assembly Language. WCRE 2005: 23-32

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)

Jacques Carette: Understanding expression simplification. ISSAC 2004: 72-79