Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jacques Carette
2010 – today
- 2013
[e4]Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger (Eds.): Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CEUR Workshop Proceedings 1010, CEUR-WS.org 2013- [e3]Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger (Eds.): Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Lecture Notes in Computer Science 7961, Springer 2013, ISBN 978-3-642-39319-8
- 2012
- [c22]Jacques Carette, Russell O'Connor: Theory Presentation Combinators. AISC/MKM/Calculemus 2012: 202-215
- [c21]
- [c20]Xin Feng, Simon Marr, Tony O'Callaghan, Zhi Quan Zhou, Jacques Carette: Function Substitution: Towards Constraint Solving in Software Testing. QSIC 2012: 31-40
- [e2]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
- [i4]
- 2011
- [j9]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)
- [j8]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)
- [j7]Jacques Carette, Michael Kucera: Partial evaluation of Maple. Sci. Comput. Program. 76(6): 469-491 (2011)
- [c19]Jacques Carette, William M. Farmer, Russell O'Connor: MathScheme: Project Description. Calculemus/MKM 2011: 287-288
- [c18]
- [c17]
- [i3]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)
- 2010
- [j6]
- [c16]
- [c15]Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt: Symbolic Domain Decomposition. AISC/MKM/Calculemus 2010: 172-188
- [i2]Jacques Carette, James H. Davenport: The Power of Vocabulary: The Case of Cyclotomic Polynomials. CoRR abs/1002.0012 (2010)
2000 – 2009
- 2009
- [j5]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)
- [c14]Jacques Carette, William M. Farmer: A Review of Mathematical Knowledge Management. Calculemus/MKM 2009: 233-246
- [c13]
- [e1]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
- 2008
- [c12]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
- [c11]
- 2007
- [j4]Jacques Carette, Ryszard Janicki: Computing Properties of Numerical Imperative Programs by Symbolic Computation. Fundam. Inform. 80(1-3): 125-146 (2007)
- [c10]Jacques Carette, Oleg Kiselyov, Chung-chieh Shan: Finally Tagless, Partially Evaluated. APLAS 2007: 222-238
- [c9]
- [c8]Jacques Carette, William M. Farmer, Volker Sorge: A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM 2007: 13-26
- [c7]
- [i1]
- 2006
- [j3]
- [j2]Jacques Carette: Gaussian Elimination: A case study in efficient genericity with MetaOCaml. Sci. Comput. Program. 62(1): 3-24 (2006)
- [c6]Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan: Hierarchical Representations with Signatures for Large Expression Management. AISC 2006: 254-268
- [c5]Wolfram Kahl, Jacques Carette, Xiaoheng Ji: Bimonadic Semantics for Basic Pattern Matching Calculi. MPC 2006: 253-273
- 2005
- [c4]Wolfram Kahl, Christopher Kumar Anand, Jacques Carette: Control-Flow Semantics for Assembly-Level Data-Flow Graphs. RelMiCS 2005: 147-160
- [c3]Jacques Carette, Oleg Kiselyov: Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. GPCE 2005: 256-274
- [c2]Jacques Carette, Pulak Kumar Chowdhury: Symbolic Interpretation of Legacy Assembly Language. WCRE 2005: 23-32
- 2004
- [j1]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)
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:01 CEST by the dblp team