Type Inference

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

---

2026

• Local Contextual Type Inference — POPL 2026
  Contextual propagation for type inference in dependently typed languages.

• Let Generalization, Polymorphic Recursion, and Variable Minimization in Boolean-Kinded Type Systems — POPL 2026
  Inference algorithms for Boolean-kinded type systems.

2025

• LLM-Based Type Inference for Python — PLDI 2025
  Neural type inference for dynamically typed Python programs.

---