Assistant Research Fellow/Professor | Chen, Liang-Ting
Invited Talks
From Datatype-Generic Programming to Language-Generic Programming, Singapore, Singapore, TyDe '25: the 10th ACM SIGPLAN International Workshop on Type-Driven Development (2025/10/12)
From Datatype Genericity to Language Genericity, Leuven, Belgium, WG6 meeting of European Research Network on Formal Proofs (2024/04/05)
Foundations of Mathematics, Topoi, and Functional Programming Languages, Taipei, Taiwan, Math Club, Department of Mathematics, National Taiwan University (2023/03)
