Jacques Carette

Available identifiers

zbMath Open carette.jacquesMaRDI QIDQ532397

List of research outcomes

Publication	Date of Publication	Type
From reversible programs to univalent universes and back	2022-04-25	Paper
Fractional types. Expressive and safe space management for ancilla bits	2021-07-05	Paper
Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge	2021-04-19	Paper
A Machine-checked proof of Birkhoff's Variety Theorem in Martin-L\"of Type Theory	2021-01-25	Paper
Leveraging the information contained in theory presentations	2021-01-20	Paper
Towards specifying symbolic computation	2020-01-22	Paper
Building on the Diamonds between Theories: Theory Presentation Combinators	2018-12-14	Paper
Embracing the Laws of Physics: Three Reversible Models of Computation	2018-11-08	Paper
Biform theories: project description	2018-10-18	Paper
A library of reversible circuit transformations (work in progress)	2018-10-17	Paper
HOL Light QE	2018-10-04	Paper
From high-level inference algorithms to efficient code	2018-05-16	Paper
Formalizing mathematical knowledge as a biform theory graph: a case study	2017-07-21	Paper
Computing with Semirings and Weak Rig Groupoids	2016-04-26	Paper
Probabilistic Inference by Program Transformation in Hakaru (System Description)	2016-04-04	Paper
Realms: A Structure for Consolidating Knowledge about Mathematical Theories	2014-08-07	Paper
Theory Presentation Combinators	2012-09-07	Paper
MathScheme: Project Description	2011-07-29	Paper
Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code	2011-05-04	Paper
Partial evaluation of Maple	2011-05-04	Paper
Mechanized Mathematics	2010-08-24	Paper
Symbolic Domain Decomposition	2010-08-24	Paper
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages	2009-11-13	Paper
A Review of Mathematical Knowledge Management	2009-07-09	Paper
Bimonadic Semantics for Basic Pattern Matching Calculi	2009-04-02	Paper
High-Level Theories	2009-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q5301654	2009-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q3504342	2008-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q5431916	2008-01-02	Paper
A Rational Reconstruction of a System for Experimental Mathematics	2007-11-28	Paper
Relational Methods in Computer Science	2007-05-02	Paper
Gaussian elimination: a case study in efficient genericity with MetaOCaml	2006-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q4657304	2005-03-14	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jacques Carette