Rum. An intensional theory of function and control abstractions

Authors:
C. Talcott
Affiliations:
Stanford Univ., Stanford, CA
Venue:
Lecture notes in computer science on Foundations of logic and functional programming
Year:
1988

Reasoning with continuations II: full abstraction for models of control

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Typing first-class continuations in ML

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Curry-Howard foundation for functional computation with control

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Hi-index	0.00