Listlessness is Better than Laziness (1985)

by Philip Wadler