Registered user since Thu 18 Jul 2019

Name:Liang-Ting Chen
Country:Taiwan
Affiliation:Institute of Information Science, Academia Sinica
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