Clowns to the left of me, jokers to the right (pearl): dissecting data structures.

Conor McBride

Browse the full POPL paper archive.