5 citations · 12 across the 4 of their papers we have counts for
4 papers
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…
From Reversible Programs to Univalent Universes and Back
Jacques Carette, Chao-Hong Chen, Vikraman Choudhury +1
We establish a close connection between a reversible programming language based on type isomorphisms and a formally presented univalent universe. The correspondence relates combina…
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…
Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants
Li-An Yang, Jui-Pin Liu, Chao-Hong Chen +1
Mathematical theorems are human knowledge able to be accumulated in the form of symbolic representation, and proving theorems has been considered intelligent behavior. Based on the…