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:76 - 3 self

Documents Related by Co-Citation

321 λµ-calculus: An algorithmic interpretation of classical natural deduction – M Parigot - 1992
235 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
161 Duality of computation – Pierre-louis Curien - 2005
51 Classical Logic, Continuation Semantics and Abstract Machines – Thomas Streicher, Fachbereich Mathematik, B. Reus - 1998
116 A syntactic theory of sequential control – M Felleisen, D Friedman, E Kohlbecker, B Duba - 1987
49 Fully abstract semantics for observably sequential languages – Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen - 1994
441 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
103 A New Deconstructive Logic: Linear Logic – Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx - 1995
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
149 The theory and practice of first-class prompts – M Felleisen - 1988
130 Representing Monads – Andrzej Filinski - 1994
83 Control Categories and Duality: on the Categorical Semantics of the Lambda-Mu Calculus – Peter Selinger, I Nger - 1999
30 A semantic view of classical proofs -- type-theoretic, categorical, and denotational characterizations (Extended Abstract) – C.-H. L. Ong - 1996
22 On the relation between the λµ-calculus and the syntactic theory of sequential control – P de Groote - 1994
398 LCF considered as a programming language – G Plotkin - 1977
162 A new constructive logic: classical logic – J-Y Girard - 1991
14 A formulae-as-type notion of control – T Grin - 1990
134 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
67 A symmetric lambda calculus for classical program extraction – Franco Barbanera, Stefano Berardi - 1996