Registered user since Thu 18 Jul 2019
Name: Liang-Ting Chen
Country: Taiwan
Affiliation: Swansea University, UK
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 | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile