default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJacques Carette
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
[j14]Jacques Carette
, Chris Heunen, Robin Kaarsgaard, Amr Sabry:
With a Few Square Roots, Quantum Computing Is as Easy as Pi. Proc. ACM Program. Lang. 8(POPL): 546-574 (2024)- 2022
- [j13]Jacques Carette, Roshan P. James, Amr Sabry:
Chapter Two - Embracing the laws of physics: Three reversible models of computation. Adv. Comput. 126: 15-63 (2022) - [j12]Geneva Smith, Jacques Carette:
What Lies Beneath - A Survey of Affective Theory Use in Computational Models of Emotion. IEEE Trans. Affect. Comput. 13(4): 1793-1812 (2022) - 2019
- [j11]Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, Chung-chieh Shan:
From high-level inference algorithms to efficient code. Proc. ACM Program. Lang. 3(ICFP): 98:1-98:30 (2019) - 2018
- [j10]Margaree Peacocke, Robert J. Teather, Jacques Carette, I. Scott MacKenzie, Victoria McArthur:
An empirical comparison of first-person shooter information displays: HUDs, diegetic displays, and spatial representations. Entertain. Comput. 26: 41-58 (2018) - 2016
- [j9]W. Spencer Smith, D. Adam Lazzarato, Jacques Carette:
State of the practice for mesh generation and mesh processing software. Adv. Eng. Softw. 100: 53-71 (2016) - 2011
- [j8]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) - [j7]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) - [j6]Jacques Carette, Michael Kucera:
Partial evaluation of Maple. Sci. Comput. Program. 76(6): 469-491 (2011) - 2010
- [j5]Jacques Carette, Makarius Wenzel, Freek Wiedijk:
Preface. J. Autom. Reason. 44(1-2): 1-2 (2010) - 2009
- [j4]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) - 2007
- [j3]Jacques Carette, Ryszard Janicki:
Computing Properties of Numerical Imperative Programs by Symbolic Computation. Fundam. Informaticae 80(1-3): 125-146 (2007) - 2006
- [j2]Jacques Carette:
Gaussian Elimination: A case study in efficient genericity with MetaOCaml. Sci. Comput. Program. 62(1): 3-24 (2006) - 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)
Conference and Workshop Papers
- 2024
- [c54]Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry:
Compositional Reversible Computation. RC 2024: 10-27 - 2023
- [c53]Jacques Carette, W. Spencer Smith, Jason Balaci:
Generating Software for Well-Understood Domains. Eelco Visser Commemorative Symposium 2023: 7:1-7:12 - [c52]Christian Lengauer, Jacques Carette:
Eelco Visser as a Founding Member of the IFIP WG 2.11. Eelco Visser Commemorative Symposium 2023: 19:1-19:3 - [c51]Jacques Carette, Gerardo Ortiz, Amr Sabry:
Symbolic Execution of Hadamard-Toffoli Quantum Circuits. PEPM@POPL 2023: 14-26 - 2021
- [c50]Jacques Carette, Sasha Soraine:
Types for Players. AIIDE Workshops 2021 - [c49]Jason Z. S. Hu, Jacques Carette:
Formalizing category theory in Agda. CPP 2021: 327-342 - [c48]William J. DeMeo, Jacques Carette:
A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory. TYPES 2021: 4:1-4:21 - 2020
- [c47]Qirui Wu, Jacques Carette:
Can Deep Learning Predict Problematic Gaming? CoG 2020: 662-665 - [c46]Jacques Carette, William M. Farmer, Yasmine Sharoda:
Leveraging the Information Contained in Theory Presentations. CICM 2020: 55-70 - [c45]Jacques Carette, Brooks MacLachlan, Spencer Smith:
GOOL: a generic object-oriented language. PEPM@POPL 2020: 45-51 - [c44]Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry:
Fractional Types - Expressive and Safe Space Management for Ancilla Bits. RC 2020: 169-186 - 2019
- [c43]Musa Al-hassy, Jacques Carette, Wolfram Kahl:
A language feature to unbundle data at will (short paper). GPCE 2019: 14-19 - [c42]Jacques Carette, William M. Farmer:
Towards Specifying Symbolic Computation. CICM 2019: 109-124 - 2018
- [c41]Jacques Carette, William M. Farmer, Patrick Laskowski:
HOL Light QE. ITP 2018: 215-234 - [c40]Jacques Carette, William M. Farmer, Yasmine Sharoda:
Biform Theories: Project Description. CICM 2018: 76-86 - [c39]Christian Hutslar, Jacques Carette, Amr Sabry:
A Library of Reversible Circuit Transformations (Work in Progress). RC 2018: 339-345 - [c38]Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry:
From Reversible Programs to Univalent Universes and Back. MFPS 2018: 5-25 - 2017
- [c37]Jacques Carette, William M. Farmer:
Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. CICM 2017: 9-24 - 2016
- [c36]Jacques Carette, Amr Sabry:
Computing with Semirings and Weak Rig Groupoids. ESOP 2016: 123-148 - [c35]Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov:
Probabilistic Inference by Program Transformation in Hakaru (System Description). FLOPS 2016: 62-79 - [c34]Dan Szymczak, W. Spencer Smith, Jacques Carette:
A knowledge-based approach to scientific software development: position paper. SE4Science@ICSE 2016: 23-26 - [c33]Jacques Carette, Chung-chieh Shan:
Simplifying Probabilistic Programs Using Computer Algebra. PADL 2016: 135-152 - 2015
- [c32]Pejman Mirza-Babaei, Naeem Moosajee, Robert J. Teather, Jacques Carette, Victoria McArthur:
Workshop proposal: Game UI design, evaluation, and user research. GEM 2015: 1-2 - [c31]Margaree Peacocke, Robert J. Teather, Jacques Carette, I. Scott MacKenzie:
Evaluating the effectiveness of HUDs and diegetic ammo displays in first-person shooter games. GEM 2015: 1-8 - [c30]Geneva Smith, Robert J. Teather, Jordan Lass, Jacques Carette:
Effects of interior bezel size and configuration on gaming performance with large tiled displays. GEM 2015: 1-8 - [c29]Robert J. Teather, Jacques Carette, Manivanna Thevathasan:
Uniform vs. non-uniform scaling of shooter games on large displays. GEM 2015: 1-8 - [c28]Graeme Browning, Robert J. Teather, Jacques Carette:
Differences in Perspective and Software Scaling. SUI 2015: 128 - [c27]Geneva Smith, Robert J. Teather, Jordan Lass, Jacques Carette:
Effects of Bezel Size in Large Tiled Display Gaming. SUI 2015: 129 - 2014
- [c26]Margaree Peacocke, Robert J. Teather, Jacques Carette:
Diagetic vs. non-diagetic game displays. GEM 2014: 1-2 - [c25]Robert J. Teather, Manivanna Thevathasan, Jacques Carette:
Scale effects in "bullet hell" games. GEM 2014: 1-2 - [c24]Jacques Carette, William M. Farmer, Michael Kohlhase:
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CICM 2014: 252-266 - 2012
- [c23]Jacques Carette, Russell O'Connor:
Theory Presentation Combinators. AISC/MKM/Calculemus 2012: 202-215 - [c22]Jacques Carette, Aaron Stump:
Towards typing for small-step direct reflection. PEPM 2012: 93-96 - [c21]Xin Feng, Simon Marr, Tony O'Callaghan, Zhi Quan Zhou, Jacques Carette:
Function Substitution: Towards Constraint Solving in Software Testing. QSIC 2012: 31-40 - 2011
- [c20]Jacques Carette, William M. Farmer, Russell O'Connor:
MathScheme: Project Description. Calculemus/MKM 2011: 287-288 - [c19]Jacques Carette, Mustafa Elsheikh, W. Spencer Smith:
A generative geometric kernel. PEPM 2011: 53-62 - [c18]Lucas Beyak, Jacques Carette:
SAGA: A DSL for Story Management. DSL 2011: 48-67 - 2010
- [c17]Jacques Carette:
Mechanized Mathematics. AISC/MKM/Calculemus 2010: 157 - [c16]Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Symbolic Domain Decomposition. AISC/MKM/Calculemus 2010: 172-188 - 2009
- [c15]Jacques Carette, William M. Farmer:
A Review of Mathematical Knowledge Management. Calculemus/MKM 2009: 233-246 - [c14]James Harold Davenport, Jacques Carette:
The Sparsity Challenges. SYNASC 2009: 3-7 - 2008
- [c13]Jacques Carette, W. Spencer Smith, John McCutchan, Christopher Kumar Anand, Alexandre Korobkine:
Case Studies in Model Manipulation for Scientific Computing. AISC/MKM/Calculemus 2008: 24-37 - [c12]Jacques Carette, William M. Farmer:
High-Level Theories. AISC/MKM/Calculemus 2008: 232-245 - 2007
- [c11]Jacques Carette, Oleg Kiselyov, Chung-chieh Shan:
Finally Tagless, Partially Evaluated. APLAS 2007: 222-238 - [c10]Jacques Carette:
A canonical form for piecewise defined functions. ISSAC 2007: 77-84 - [c9]Jacques Carette, William M. Farmer, Volker Sorge:
A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM 2007: 13-26 - [c8]Jacques Carette, Michael Kucera:
Partial evaluation of Maple. PEPM 2007: 41-50 - 2006
- [c7]Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan:
Hierarchical Representations with Signatures for Large Expression Management. AISC 2006: 254-268 - [c6]Wolfram Kahl, Jacques Carette, Xiaoheng Ji:
Bimonadic Semantics for Basic Pattern Matching Calculi. MPC 2006: 253-273 - 2005
- [c5]Wolfram Kahl, Christopher Kumar Anand, Jacques Carette:
Control-Flow Semantics for Assembly-Level Data-Flow Graphs. RelMiCS 2005: 147-160 - [c4]Jacques Carette, Oleg Kiselyov:
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. GPCE 2005: 256-274 - [c3]Jacques Carette, Pulak Kumar Chowdhury:
Symbolic Interpretation of Legacy Assembly Language. WCRE 2005: 23-32 - [c2]Jacques Carette, William M. Farmer:
Preface. Calculemus 2005: 1-2 - 2004
- [c1]Jacques Carette:
Understanding expression simplification. ISSAC 2004: 72-79
Editorship
- 2020
- [e9]Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff:
Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings. Lecture Notes in Computer Science 12097, Springer 2020, ISBN 978-3-030-52199-8 [contents] - 2015
- [e8]Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge:
Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. Lecture Notes in Computer Science 9150, Springer 2015, ISBN 978-3-319-20614-1 [contents] - [e7]Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge:
CICM 2015 - Informal Work in Progress Proceedings, Washington, DC, USA, July 13-17, 2015. 2015 [contents] - 2013
- [e6]Jacques Carette, Jeremiah Willcock:
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, WGP 2013, Boston, Massachusetts, USA, September 28, 2013. ACM 2013, ISBN 978-1-4503-2389-5 [contents] - [e5]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:
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 [contents] - [e4]Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger:
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 [contents] - 2012
- [e3]Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge:
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 [contents] - 2009
- [e2]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. Lecture Notes in Computer Science 5625, Springer 2009, ISBN 978-3-642-02613-3 [contents] - 2006
- [e1]Jacques Carette, William M. Farmer:
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005. Electronic Notes in Theoretical Computer Science 151(1), Elsevier 2006 [contents]
Informal and Other Publications
- 2024
- [i31]W. Spencer Smith, Ao Dong, Jacques Carette, Michael D. Noseworthy:
State of the Practice for Medical Imaging Software. CoRR abs/2405.12171 (2024) - [i30]Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry:
Compositional Reversible Computation. CoRR abs/2405.20842 (2024) - 2023
- [i29]Jacques Carette, W. Spencer Smith, Jason Balaci:
Generating Software for Well-Understood Domains. CoRR abs/2302.00740 (2023) - [i28]Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry:
The Quantum Effect: A Recipe for QuantumPi. CoRR abs/2302.01885 (2023) - [i27]Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry:
With a Few Square Roots, Quantum Computing is as Easy as Π. CoRR abs/2310.14056 (2023) - 2022
- [i26]Jacques Carette, Gerardo Ortiz, Amr Sabry:
Retrodictive Quantum Computing. CoRR abs/2205.06346 (2022) - 2021
- [i25]W. Spencer Smith, Jacques Carette, Peter Michalski, Ao Dong, Olu Owojaiye:
Methodology for Assessing the State of the Practice for Domain X. CoRR abs/2110.11575 (2021) - [i24]Spencer Smith, Jacques Carette:
Long-Term Productivity Based on Science, not Preference. CoRR abs/2112.12580 (2021) - 2020
- [i23]Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda:
The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. CoRR abs/2002.04955 (2020) - [i22]Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry:
Fractional Types: Expressive and Safe Space Management for Ancilla Bits. CoRR abs/2002.07020 (2020) - [i21]Jason Z. S. Hu, Jacques Carette:
Proof-relevant Category Theory in Agda. CoRR abs/2005.07059 (2020) - [i20]Jacques Carette, William M. Farmer, Yasmine Sharoda:
Leveraging the Information Contained in Theory Presentations. CoRR abs/2006.09292 (2020) - [i19]Spencer Smith, Jacques Carette:
Long-term Productivity for Long-term Impact. CoRR abs/2009.14015 (2020) - 2019
- [i18]Jacques Carette, William M. Farmer:
Towards Specifying Symbolic Computation. CoRR abs/1904.02729 (2019) - [i17]Jacques Carette, William M. Farmer, Michael Kohlhase, Florian Rabe:
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal. CoRR abs/1904.10405 (2019) - [i16]Jacques Carette, Brooks MacLachlan, W. Spencer Smith:
GOOL: A Generic Object-Oriented Language (extended version). CoRR abs/1911.11824 (2019) - 2018
- [i15]Jacques Carette, William M. Farmer, Patrick Laskowski:
HOL Light QE. CoRR abs/1802.00405 (2018) - [i14]W. Spencer Smith, D. Adam Lazzarato, Jacques Carette:
State of the Practice for GIS Software. CoRR abs/1802.03422 (2018) - [i13]Spencer Smith, Yue Sun, Jacques Carette:
Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities. CoRR abs/1802.07362 (2018) - [i12]Jacques Carette, William M. Farmer, Yasmine Sharoda:
Biform Theories: Project Description. CoRR abs/1805.02709 (2018) - [i11]Rajan Walia, Jacques Carette, Praveen Narayanan, Chung-chieh Shan, Sam Tobin-Hochstadt:
Efficient compilation of array probabilistic programs. CoRR abs/1805.06562 (2018) - [i10]Jacques Carette, Roshan P. James, Amr Sabry:
Embracing the Laws of Physics: Three Reversible Models of Computation. CoRR abs/1811.03678 (2018) - [i9]Jacques Carette, Russell O'Connor:
Theory Presentation Combinators. CoRR abs/1812.08079 (2018) - 2017
- [i8]Jacques Carette, William M. Farmer:
Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. CoRR abs/1704.02253 (2017) - [i7]Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry:
From Reversible Programs to Univalent Universes and Back. CoRR abs/1708.02710 (2017) - 2014
- [i6]Jacques Carette, William M. Farmer, Michael Kohlhase:
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CoRR abs/1405.5956 (2014) - 2012
- [i5]Jacques Carette, Russell O'Connor:
Theory Presentation Combinators. CoRR abs/1204.0053 (2012) - 2011
- [i4]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
- [i3]Jacques Carette, James H. Davenport:
The Power of Vocabulary: The Case of Cyclotomic Polynomials. CoRR abs/1002.0012 (2010) - [i2]Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Symbolic Domain Decomposition. CoRR abs/1004.5549 (2010) - 2007
- [i1]Jacques Carette:
A canonical form for some piecewise defined functions. CoRR abs/cs/0702010 (2007)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
