• Sign in
  • Sign up
conf.researchr.org / Liang-Ting Chen
  • APLAS 2023 profile
  • ICFP 2019 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
Liang-Ting Chen

Registered user since Thu 18 Jul 2019

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

Contributions

2023

ICFP

  • Committee Member in Program Committee within the ICFP Papers and Events-track

2022

ICFP

  • Author of Datatype-Generic Programming Meets Elaborator Reflection within the ICFP Papers and Events-track

2021

TyDe

  • Committee Member in Program Committee within the TyDe 2021-track

2019

TyDe

  • Author of Monadic typed tactic programming by reflection within the TyDe 2019-track
Share
xSun 3 Dec 22:47
using conf.researchr.org (v1.62.0)
Support page
Sign Up