17 citations · 77 across the 28 of their papers we have counts for
5 papers · 1 filter
Long-term Productivity for Long-term Impact
Spencer Smith, Jacques Carette
We present a new conceptual definition of 'productivity' for sustainably developing research software. Existing definitions are flawed as they are short-term biased, thus devaluing…
Leveraging the Information Contained in Theory Presentations
Jacques Carette, William M. Farmer, Yasmine Sharoda
A theorem prover without an extensive library is much less useful to its potential users. Algebra, the study of algebraic structures, is a core component of such libraries. Algebra…
Formalizing of Category Theory in Agda
Jason Z. S. Hu, Jacques Carette
The generality and pervasiness of category theory in modern mathematics makes it a frequent and useful target of formalization. It is however quite challenging to formalize, for a…
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette +1
In reversible computing, the management of space is subject to two broad classes of constraints. First, as with general-purpose computation, every allocation must be paired with a…
The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems
Katja Bercic, Jacques Carette, William M. Farmer +4
Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathemati…