A Formulae-as-Types Notion of Control (1990)

Cached

Download Links

by Timothy G. Griffin
Venue:In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages
Citations:235 - 0 self