research
∙
12/13/2022
A programming language characterizing quantum polynomial time
We introduce a first-order quantum programming language, named FOQ, whos...
share
research
∙
08/31/2022
Complete and tractable machine-independent characterizations of second-order polytime
The class of Basic Feasible Functionals BFF is the second-order counterp...
research
∙
01/23/2022
Quantum Expectation Transformers for Cost Analysis
We introduce a new kind of expectation transformer for a mixed classical...
research
∙
02/23/2021
A tier-based typed programming language characterizing Feasible Functionals
The class of Basic Feasible Functionals BFF_2 is the type-2 counterpart ...
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
∙
02/19/2018
A Type-Based Complexity Analysis of Object Oriented Programs
A type system is introduced for a generic Object Oriented programming la...
research
∙
01/25/2018