A formulae--as--types notion of control (1990)

by Timothy G Griffin
Venue:In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages