Control Structures from Types. Submitted to (1994)

by R Paterson
Venue:Journal of Functional Programming