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:267 - 0 self

Documents Related by Co-Citation

368 λµ-Calculus: An Algorithmic Interpretation of Classical Natural Deduction – M Parigot - 1992
1683 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
330 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
128 A syntactic theory of sequential control – M Felleisen, D P Friedman, E E Kohlbecker, B F Duba - 1987
480 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
604 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
670 Compiling with continuations – A W Appel - 1992
731 Light Linear Logic – Jean-yves Girard
155 The theory and practice of first-class prompts – M Felleisen - 1988