Theses completed by group members
- Compositional Programming in Action
- Applied Type Directed Semantics
- A Blend of Intersection Types and Union Types
- Applicative Intersection Types
- Iso-Recursive Subtyping: New Theory and Extensions
- Taming Intersection Types and the Merge Operator
- Formalized Higher-rank Polymorphic Type Inference Algorithms
- Higher-rank Polymorphism: Type Inference and Extensions
- Modularity Beyond Compositionality
- Reusability and Modularity in Consumer, Producer, and Transformation Operations
- Iso-Type Systems: Simple Dependent Type Theories for Programming
- Revisiting Multiple Inheritance for Modularity and Reuse
- Disjoint Intersection Types: Theory and Practice
- Gems: Language Modularization, Semantically
- Extensible Domain-Specific Languages in Object-Oriented Programming
- From Conventional to Search-focused Programming Environments