research
∙
02/17/2020
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
In reversible computing, the management of space is subject to two broad...
share
research
∙
08/09/2017
From Reversible Programs to Univalent Universes and Back
We establish a close connection between a reversible programming languag...
research
∙
08/07/2017
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping
A key part of implementing high-level languages is providing built-in an...
research
∙
02/24/2016