Type Systems¶

Papers on Type Systems from POPL, PLDI, OOPSLA, ECOOP, and ICFP.

2026¶

Local Contextual Type Inference — POPL 2026
Xu Xue, Chen Cui, Shengyi Jiang, Bruno C. d. S. Oliveira
Type inference with contextual propagation supporting dependent types.
Extensible Data Types with Ad-Hoc Polymorphism — POPL 2026
Matthew Toohey, Yanning Chen, Ara Jamalzadeh, Ningning Xie
Extensible algebraic types with type class dispatch.
Let Generalization, Polymorphic Recursion, and Variable Minimization in Boolean-Kinded Type Systems — POPL 2026
Joseph Zullo
Type inference for Boolean-indexed types.
Typing Strictness — POPL 2026
Daniel Sainati, Joseph W. Cutler, Benjamin C. Pierce, Stephanie Weirich
Type-theoretic treatment of evaluation strictness.
Lazy Linearity for a Core Functional Language — POPL 2026
Rodrigo Mesquita, Bernardo Toninho
Linear types for lazy functional languages.

Frex: Dependently Typed Algebraic Simplification — ICFP 2025
Allais, Brady, Corbyn, Kammar, Yallop
Certified algebraic simplification with dependent types.
Multi-stage Programming with Splice Variables — ICFP 2025
Tsung-Ju Chiang, Ningning Xie
Type-safe staging with splice variables.
Semantic Subtyping for Object-Oriented Languages — OOPSLA 2025
Set-theoretic subtyping for OO languages.
Union and Intersection Types for Polymorphic Records — OOPSLA 2025
Extending record types with union/intersection.
A Sound and Complete Type System for Featherweight Generic Java — ECOOP 2025
Generic Java with mutation and full soundness proof.
Dependent Object Types with Intersection Types — ECOOP 2025
DOT calculus extended with intersection types.