Остановите войну!
for scientists:
default search action
Jacques Carette
- > Home > Persons > Jacques Carette
Publications
- 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) - 2023
- [c51]Jacques Carette, Gerardo Ortiz, Amr Sabry:
Symbolic Execution of Hadamard-Toffoli Quantum Circuits. PEPM@POPL 2023: 14-26 - [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
- [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) - [i26]Jacques Carette, Gerardo Ortiz, Amr Sabry:
Retrodictive Quantum Computing. CoRR abs/2205.06346 (2022) - 2020
- [c46]Jacques Carette, William M. Farmer, Yasmine Sharoda:
Leveraging the Information Contained in Theory Presentations. CICM 2020: 55-70 - [c44]Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry:
Fractional Types - Expressive and Safe Space Management for Ancilla Bits. RC 2020: 169-186 - [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] - [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) - [i20]Jacques Carette, William M. Farmer, Yasmine Sharoda:
Leveraging the Information Contained in Theory Presentations. CoRR abs/2006.09292 (2020) - 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) - [c42]Jacques Carette, William M. Farmer:
Towards Specifying Symbolic Computation. CICM 2019: 109-124 - [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) - 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 - [i15]Jacques Carette, William M. Farmer, Patrick Laskowski:
HOL Light QE. CoRR abs/1802.00405 (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
- [c37]Jacques Carette, William M. Farmer:
Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. CICM 2017: 9-24 - [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) - 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 - [c33]Jacques Carette, Chung-chieh Shan:
Simplifying Probabilistic Programs Using Computer Algebra. PADL 2016: 135-152 - 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] - 2014
- [c24]Jacques Carette, William M. Farmer, Michael Kohlhase:
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CICM 2014: 252-266 - [i6]Jacques Carette, William M. Farmer, Michael Kohlhase:
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CoRR abs/1405.5956 (2014) - 2013
- [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
- [c23]Jacques Carette, Russell O'Connor:
Theory Presentation Combinators. AISC/MKM/Calculemus 2012: 202-215 - [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] - [i5]Jacques Carette, Russell O'Connor:
Theory Presentation Combinators. CoRR abs/1204.0053 (2012) - 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) - [c20]Jacques Carette, William M. Farmer, Russell O'Connor:
MathScheme: Project Description. Calculemus/MKM 2011: 287-288 - [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
- [j5]Jacques Carette, Makarius Wenzel, Freek Wiedijk:
Preface. J. Autom. Reason. 44(1-2): 1-2 (2010) - [c16]Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Symbolic Domain Decomposition. AISC/MKM/Calculemus 2010: 172-188 - [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) - 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) - [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 - [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] - 2008
- [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 - [c9]Jacques Carette, William M. Farmer, Volker Sorge:
A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM 2007: 13-26 - 2006
- [c7]Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan:
Hierarchical Representations with Signatures for Large Expression Management. AISC 2006: 254-268 - [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] - 2005
- [c4]Jacques Carette, Oleg Kiselyov:
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. GPCE 2005: 256-274 - [c2]Jacques Carette, William M. Farmer:
Preface. Calculemus 2005: 1-2 - 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)
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-02-12 20:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint