
Registered user since Thu 18 Jul 2019
Name:Liang-Ting Chen
Country:Taiwan
Affiliation: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 2022 | Datatype-Generic Programming Meets Elaborator Reflection | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile