Fractional Types - Expressive and Safe Space Management for Ancilla Bits.

Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry

Browse the full RC paper archive.