A Curry-Howard foundation for functional computation with control (1997)

Cached

Download Links

by C. -h. L. Ong , C. A. Stewart
Venue:In Proceedings of ACM SIGPLAN-SIGACT Symposium on Principle of Programming Languages
Citations:77 - 3 self