Control structures from types (1994)

by Ross Paterson