17 citations · 77 across the 28 of their papers we have counts for
31 papers
With a Few Square Roots, Quantum Computing is as Easy as Π
Jacques Carette, Chris Heunen, Robin Kaarsgaard +1
Rig groupoids provide a semantic model of \PiLang, a universal classical reversible programming language over finite types. We prove that extending rig groupoids with just two maps…
Generating Software for Well-Understood Domains
Jacques Carette, Spencer Smith, Jason Balaci
Current software development is often quite code-centric and aimed at short-term deliverables, due to various contextual forces (such as the need for new revenue streams from many…
The Quantum Effect: A Recipe for QuantumPi
Jacques Carette, Chris Heunen, Robin Kaarsgaard +1
Free categorical constructions characterise quantum computing as the combination of two copies of a reversible classical model, glued by the complementarity equations of classical…
Retrodictive Quantum Computing
Jacques Carette, Gerardo Ortiz, Amr Sabry
Quantum models of computation are widely believed to be more powerful than classical ones. Efforts center on proving that, for a given problem, quantum algorithms are more resource…
Long-Term Productivity Based on Science, not Preference
Spencer Smith, Jacques Carette
This position paper argues that decisions on processes, tools, techniques and software artifacts (such as user manuals, unit tests, design documents and code) for scientific softwa…
Methodology for Assessing the State of the Practice for Domain X
Spencer Smith, Jacques Carette, Peter Michalski +2
To improve software development methods and tools for research software, we first need to understand the current state of the practice. Therefore, we have developed a methodology f…