Chao-Hong Chen

Identifiers

No identifiers captured yet.

Papers (3)

1. From Reversible Programs to Univalent Universes and Back cs.PL · 2017 · author #2
2. Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping cs.PL · 2017 · author #1
3. Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants cs.NE · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Vikraman Choudhury 2 shared papers
• Amr Sabry 1 shared papers
• Jacques Carette 1 shared papers
• Jui-Pin Liu 1 shared papers
• Li-An Yang 1 shared papers
• Ryan R. Newton 1 shared papers
• Ying-ping Chen 1 shared papers