Intersection Types

Papers on Intersection Types from POPL, PLDI, OOPSLA, ECOOP, and ICFP.

---

2025

• Dependent Object Types with Intersection Types — ECOOP 2025
  DOT calculus extended with intersection of dependent types.

• Intersection Types for Session-Typed Concurrent Programs — ECOOP 2025
  Session types with intersection for multi-protocol endpoints.

• Union and Intersection Types for Polymorphic Records — OOPSLA 2025
  Combining union and intersection in polymorphic record systems.

---