Registered user since Thu 18 Jul 2019
Name:Liang-Ting Chen
Country:United Kingdom
Affiliation:Swansea University
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