conf.researchr.org / Liang-Ting Chen
Liang-Ting Chen

Registered user since Thu 18 Jul 2019

Name:Liang-Ting Chen
Country:Taiwan
Affiliation:Institute of Information Science, Academia Sinica
Personal website:https://l-tchen.github.io
Twitter:https://twitter.com/ltchen_tw
GitHub:https://github.com/L-TChen
Research interests:Theoretical Computer Science, Functional Programming

Contributions

ICFP 2023 Committee Member in Program Committee within the ICFP Research Papers-track
ICFP 2022 Author of Datatype-Generic Programming Meets Elaborator Reflection within the ICFP Papers and Events-track
TyDe 2021 Committee Member in Program Committee within the TyDe 2021-track
TyDe 2019 Author of Monadic typed tactic programming by reflection within the TyDe 2019-track