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 2019 Author of Monadic typed tactic programming by reflection within the TyDe 2019-track