Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tzu-Chi Lin
conf.researchr.org general profile
ICFP 2022 profile
Registered user since Thu 19 Aug 2021
Name:
Tzu-Chi Lin
Contributions
2022
ICFP
Author of Datatype-Generic Programming Meets Elaborator Reflection within the ICFP Papers and Events-track
TyDe
Author of Syntax-Generic Operations, Reflectively Reified (Extended Abstract) within the TyDe 2022-track
Share
x
Sat 17 Oct 06:09