2 citations · 3 across the 5 of their papers we have counts for
6 papers · 1 filter
Towards Quantum Multiparty Session Types
Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury
Multiparty Session Types (MPSTs) offer a structured way of specifying communication protocols and guarantee relevant communication properties, such as deadlock-freedom. In this pap…
Scheme Pearl: Quantum Continuations
Vikraman Choudhury, Borislav Agapiev, Amr Sabry
We advance the thesis that the simulation of quantum circuits is fundamentally about the efficient management of a large (potentially exponential) number of delimited continuations…
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette +1
In reversible computing, the management of space is subject to two broad classes of constraints. First, as with general-purpose computation, every allocation must be paired with a…
Recovering Purity with Comonads and Capabilities
Vikraman Choudhury, Neel Krishnaswami
In this paper, we take a pervasively effectful (in the style of ML) typed lambda calculus, and show how to extend it to permit capturing pure expressions with types. Our key observ…
Deriving Law-Abiding Instances
Ryan Scott, Vikraman Choudhury, Ryan Newton +2
Liquid Haskell's refinement-reflection feature augments the Haskell language with theorem proving capabilities, allowing programmers to retrofit their existing code with proofs. Bu…
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
A key part of implementing high-level languages is providing built-in and default data structures. Yet selecting good defaults is hard. A mutable data structure's workload is not k…