![Liang-Ting Chen](https://icfp24.sigplan.org/getProfileImage/liangtingchen/b75067b2-364d-4726-ba26-5f79ded4a7ba/small.jpg?1711539903000)
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
Using general profile