Preprint
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
Abstract
In reversible computing, the management of space is subject to two broad
classes of constraints. First, as with general-purpose computation, every
Authors
Chen C-H; Choudhury V; Carette J; Sabry A
Publication date
February 17, 2020
DOI
10.48550/arxiv.2002.07020
Preprint server
arXiv