A formulae-as-type notion of control

Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 ◽

10.1145/96709.96714 ◽

1990 ◽

Cited By ~ 188

Author(s):

Timothy G. Griffin

Download Full-text