Chinese
English
Assistant Research Fellow/Professor  |  Chen, Liang-Ting  
 
contact
education
experience
interests
activities
invited_talk
honors
publications
software
supervised
Personal (New window)
 
 
 
 
 
Invited Talks
 
  1. 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)
  2. From Datatype Genericity to Language Genericity, Leuven, Belgium, WG6 meeting of European Research Network on Formal Proofs (2024/04/05)
  3. Foundations of Mathematics, Topoi, and Functional Programming Languages, Taipei, Taiwan, Math Club, Department of Mathematics, National Taiwan University (2023/03)
 
 
bg