conf.researchr.org / 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://scholar.google.co.uk/citations?user=o_NlMCcAAAAJ&hl=en
Research interests:Theoretical Computer Science, Functional Programming
Contributions
| 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 |