Yearbook · all 39 papers

pldb yearbook

ICFP Class of '08

39 graduates · cited 466× within PLDB

Most Likely to Succeed & Valedictorian

Parametric higher-order abstract syntax for mechanized semantics

cited 53× within PLDB; Most Influential ICFP Paper (awarded 2018) · Chlipala

Late Bloomer

HMF: simple type inference for first-class polymorphism

half of its 29 citations came 14+ years after it graduated · Leijen

Teacher's Pet

Mixin' up the ML module system

cites 8 other ICFP papers · Dreyer & Rossberg

Biggest Group Project

Report on the tenth ICFP programming contest

10 authors · Dolstra et al.

Class Clown

Functional pearl: streams and unique fixed points

a Functional Pearl: officially fun · Hinze

Prom Couple

HMF: simple type inference for first-class… & FPH: first-class polymorphism for Haskell

cited together by 14 papers · Leijen; Vytiniotis et al.

Ghosted

13% of the class (5 of 39)

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

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

‹ Class of '07 (2007) Class of '09 (2009) ›

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.