Yearbook · all 44 papers

pldb yearbook

ICFP Class of '17

44 graduates · cited 574× within PLDB

Most Likely to Succeed

Abstracting definitional interpreters (functional pearl)

cited 42× within PLDB · Darais et al.

Late Bloomer

Scaling up functional programming education: under the hood of the OCaml MOOC

half of its 5 citations came 8+ years after it graduated · Canou et al.

Teacher's Pet

Compiling to categories

cites 8 other ICFP papers · Elliott

Biggest Group Project

Verified low-level programming embedded in F

11 authors · Protzenko et al.

Class Clown

Theorems for free for free: parametricity, with and without types

“for free”, a classic bit · Ahmed et al.

Prom Couple

Theorems for free for free: parametricity, with… & On polymorphic gradual typing

cited together by 21 papers · Ahmed et al.; Igarashi et al.

Ghosted

7% of the class (3 of 44)

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

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

‹ Class of '16 (2016) Class of '18 (2018) ›

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.