research
∙
07/19/2022
Central Submonads and Notions of Computation
The notion of "centre" has been introduced for many algebraic structures...
share
research
∙
01/23/2022
Quantum Expectation Transformers for Cost Analysis
We introduce a new kind of expectation transformer for a mixed classical...
research
∙
11/21/2021
The Central Valuations Monad
We give a commutative valuations monad Z on the category DCPO of dcpo's ...
research
∙
11/21/2021
Qimaera: Type-safe (Variational) Quantum Programming in Idris
Variational Quantum Algorithms are hybrid classical-quantum algorithms w...
research
∙
07/28/2021
Semantics for Variational Quantum Programming
We consider a programming language that can manipulate both classical an...
research
∙
01/31/2021
Commutative Monads for Probabilistic Programming Languages
A long-standing open problem in the semantics of programming languages s...
research
∙
05/11/2020
Computational Adequacy for Substructural Lambda Calculi
Substructural type systems, such as affine (and linear) type systems, ar...
research
∙
01/19/2020
Semantics for first-order affine inductive data types via slice categories
Affine type systems are substructural type systems where copying of info...
research
∙
10/21/2019
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
Inductive datatypes in programming languages allow users to define usefu...
research
∙
06/23/2019
Reflecting Algebraically Compact Functors
A compact T-algebra is an initial T-algebra whose inverse is a final T-c...
research
∙
06/22/2019
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
We describe a type system with mixed linear and non-linear recursive typ...
research
∙
06/22/2019
Mixed Linear and Non-linear Recursive Types
We describe a type system with mixed linear and non-linear recursive typ...
research
∙
04/25/2018