Yearbook · all 39 papers

pldb yearbook

ICFP Class of '26

39 graduates · cited 2× within PLDB

Most Likely to Succeed

First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination

cited 1× within PLDB · Lam et al.

Valedictorian

Inlining as a Space Optimization: A Simple Time- and Space-Invariant Implementation of the Weak Lambda-Calculus

Distinguished Paper (one of 4 award winners) · Balabonski

Teacher's Pet

Another Type Inference Algorithm for First-Class Implicit Polymorphism

cites 12 other ICFP papers · Morris

Biggest Group Project

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice

7 authors · Daggitt et al.

Class Clown

QuickChecking Convergence of Rewriting Systems (Functional Pearl)

a Functional Pearl: officially fun · Claessen

pldb.kirancodes.me/fun/yearbook · within PLDB

‹ Class of '25 (2025)

Citations are between papers within PLDB, one per pair, newer versions of the same paper excluded. Late Bloomer needs 5+ citations; Ghosted is hidden for the last three classes, who are still being read. Older classes have thinner citation data.