Evaluation Styles and Type Systems (1992)

by Continuations
Venue:In (SUBMITTED) LICS `92