Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Chao-Hong Chen
conf.researchr.org general profile
ICFP 2017 profile
ICFP/SPLASH 2025 profile
POPL 2021 profile
Registered user since Fri 11 Aug 2017
Name:
Chao-Hong Chen
Country:
Taiwan
Affiliation:
Meta
Contributions
2025
TyDe
Author of Gradual Metaprogramming within the TyDe 2025-track
2021
POPL
Author of A Computational Interpretation of Compact Closed Categories: Reversible Programming with Negative and Fractional Types within the POPL-track
2017
Haskell
Author of Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping within the Haskell 2017-track
Share
x
Mon 27 Oct 10:48