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 | Monadic typed tactic programming by reflection | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2019-profile
View general profile
View general profile