Registered user since Thu 19 Aug 2021
Name:Tzu-Chi Lin
Bio:
Bachelor Degree in Philosophy, National Taiwan University
Research Assistant at Institute of Information Science, Academia Sinica
Affiliation:Institute of Information Science, Academia Sinica
Personal website:https://blog.viktorl.in
Twitter:https://twitter.com/viktor_lin
GitHub:https://github.com/Zekt
Research interests:Programming Language
Contributions
| ICFP 2022 | Datatype-Generic Programming Meets Elaborator Reflection | ||||||||||||||||||||||||||||||||||||||||
| TyDe 2022 | Syntax-Generic Operations, Reflectively Reified (Extended Abstract) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2022-profile
View general profile
View general profile