Yearbook · all 27 papers

pldb yearbook

ICFP Class of '06

27 graduates · cited 385× within PLDB

Most Likely to Succeed & Valedictorian

Simple unification-based type inference for GADTs

cited 112× within PLDB; Most Influential ICFP Paper (awarded 2016) · Jones et al.

Late Bloomer

biXid: a bidirectional transformation language for XML

half of its 8 citations came 12+ years after it graduated · Kawanaka & Hosoya

Teacher's Pet

From structures and functors to modules and units

cites 4 other ICFP papers · Owens & Flatt

Biggest Group Project

Static typing for a faulty lambda calculus

5 authors · Walker et al.

Class Clown

Fifteen years of functional pearls

a Functional Pearl: officially fun · Bird

Prom Couple

Access control in a core calculus of dependency & Polymorphism and separation in hoare type theory

cited together by 3 papers · Abadi; Nanevski et al.

Ghosted

7% of the class (2 of 27)

never cited within PLDB. No names. We're not monsters.

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

‹ Class of '05 (2005) Class of '07 (2007) ›

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.