List of Theses

• Applied Type Directed Semantics
  Wenjia Ye 叶文佳 – PhD (2024)
• A Blend of Intersection Types and Union Types
  Baber Rehman – PhD (2023)
• Applicative Intersection Types
  Xu Xue 薛旭 – MPhil (2023)
• Iso-Recursive Subtyping: New Theory and Extensions
  Yaoda Zhou – PhD (2023)
• Taming Intersection Types and the Merge Operator
  Xuejing Huang 黃雪晶 – PhD (2023)
• Formalized Higher-rank Polymorphic Type Inference Algorithms
  Jinxu Zhao 赵锦煦 – PhD (2021)
• Higher-rank Polymorphism: Type Inference and Extensions
  Ningning Xie – PhD (2021)
• Modularity Beyond Compositionality
  Weixin Zhang 张炜昕 – PhD (2021)
• Reusability and Modularity in Consumer, Producer, and Transformation Operations
  Haoyuan Zhang 张浩源 – PhD (2019)
• Iso-Type Systems: Simple Dependent Type Theories for Programming
  Yanpeng Yang 楊彦芃 – PhD (2019)
• Revisiting Multiple Inheritance for Modularity and Reuse
  Yanlin Wang 王焱林 – PhD (2019)
• Disjoint Intersection Types: Theory and Practice
  Xuan Bi 畢旋 – PhD (2018)
• Gems: Language Modularization, Semantically
  Huang Li 李璜 – MPhil (2017)
• Extensible Domain-Specific Languages in Object-Oriented Programming
  Weixin Zhang 张炜昕 – MPhil (2017)
• From Conventional to Search-focused Programming Environments
  Tomáš Tauber – PhD (2017)