research
∙
05/20/2021
Join inverse rig categories for reversible functional programming, and beyond
Reversible computing is a computational paradigm in which computations a...
share
research
∙
07/14/2020
Hybrid divide-and-conquer approach for tree search algorithms
As we are entering the era of real-world small quantum computers, findin...
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
∙
11/14/2017