1 citations · 1 across the 3 of their papers we have counts for
4 papers · 1 filter
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…
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…
Message-Observing Sessions
Ryan Kavanagh, Brigitte Pientka
We present Most, a process language with message-observing session types. Message-observing session types extend binary session types with type-level computation to specify communi…
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…