An angry half-dozen (1998)

by Philip Wadler
Venue:ACM SIGPLAN Notices