research
∙
02/03/2023
The Quantum Effect: A Recipe for QuantumPi
Free categorical constructions characterise quantum computing as the com...
share
research
∙
02/01/2023
Generating Software for Well-Understood Domains
Current software development is often quite code-centric and aimed at sh...
research
∙
05/12/2022
Retrodictive Quantum Computing
Quantum models of computation are widely believed to be more powerful th...
research
∙
12/15/2021
Long-Term Productivity Based on Science, not Preference
This position paper argues that decisions on processes, tools, technique...
research
∙
10/22/2021
Methodology for Assessing the State of the Practice for Domain X
To improve software development methods and tools for research software,...
research
∙
09/29/2020
Long-term Productivity for Long-term Impact
We present a new conceptual definition of 'productivity' for sustainably...
research
∙
06/05/2020
Leveraging the Information Contained in Theory Presentations
A theorem prover without an extensive library is much less useful to its...
research
∙
05/14/2020
Proof-relevant Category Theory in Agda
The generality and pervasiness of category theory in modern mathematics ...
research
∙
02/17/2020
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
In reversible computing, the management of space is subject to two broad...
research
∙
02/12/2020
The Space of Mathematical Software Systems – A Survey of Paradigmatic Systems
Mathematical software systems are becoming more and more important in pu...
research
∙
11/26/2019
GOOL: A Generic Object-Oriented Language (extended version)
We present GOOL, a Generic Object-Oriented Language. It demonstrates tha...
research
∙
04/23/2019
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
Over the last decades, a class of important mathematical results have re...
research
∙
04/04/2019
Towards Specifying Symbolic Computation
Many interesting and useful symbolic computation algorithms manipulate m...
research
∙
12/14/2018
Theory Presentation Combinators
To build a scalable library of mathematics, we need a method which takes...
research
∙
11/08/2018
Embracing the Laws of Physics: Three Reversible Models of Computation
Our main models of computation (the Turing Machine and the RAM) make fun...
research
∙
05/17/2018
Efficient compilation of array probabilistic programs
Probabilistic programming languages are valuable because they allow us t...
research
∙
04/29/2018
Biform Theories: Project Description
A biform theory is a combination of an axiomatic theory and an algorithm...
research
∙
02/20/2018
Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities
Different communities rely heavily on software, but use quite different ...
research
∙
02/09/2018
State of the Practice for GIS Software
We present a reproducible method to analyze the state of software develo...
research
∙
02/01/2018
HOL Light QE
We are interested in algorithms that manipulate mathematical expressions...
research
∙
08/09/2017
From Reversible Programs to Univalent Universes and Back
We establish a close connection between a reversible programming languag...
research
∙
06/09/2011