Yearbook · all 31 papers

pldb yearbook

ICFP Class of '14

31 graduates · cited 430× within PLDB

Most Likely to Succeed & Valedictorian

Refinement types for Haskell

cited 121× within PLDB; Most Influential ICFP Paper (awarded 2024) · Vazou et al.

Late Bloomer

Hindley-milner elaboration in applicative style: functional pearl

half of its 6 citations came 10+ years after it graduated · Pottier

Teacher's Pet

Functional programming for dynamic and large data with self-adjusting computation

cites 7 other ICFP papers · Chen et al.

Biggest Group Project

SML# in industry: a practical ERP system development

7 authors · Ohori et al.

Class Clown

Folding domain-specific languages: deep and shallow embeddings (functional Pearl)

a Functional Pearl: officially fun · Gibbons & Wu

Prom Couple

Soft contract verification & Refinement types for Haskell

cited together by 8 papers · Nguyen et al.; Vazou et al.

Ghosted

6% of the class (2 of 31)

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

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

‹ Class of '13 (2013) Class of '15 (2015) ›

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.