Comprehensive comprehensions (2007)

by Simon L Peyton Jones, Philip Wadler