3 papers
cs.PL2026
Staged Hybrid Quantum-Classical Programming
Chuta Sano, Peng Fu, Ryan Kavanagh +2
Hybrid quantum-classical computing systems consist of a classical control system that sends quantum circuits and receives measurement results from a quantum co-processor. Such syst…
cs.PL2025
Deconstructed Proto-Quipper: A Rational Reconstruction
Ryan Kavanagh, Chuta Sano, Brigitte Pientka
The Proto-Quipper family of programming languages aims to provide a formal foundation for the Quipper quantum programming language. Unfortunately, Proto-Quipper languages have comp…
cs.PL2023
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity
Chuta Sano, Ryan Kavanagh, Brigitte Pientka
Session types employ a linear type system that ensures that communication channels cannot be implicitly copied or discarded. As a result, many mechanizations of these systems requi…