Observable Sequentiality and Full Abstraction (1992)

by Robert Cartwright , Matthias Felleisen
Venue:In Proceedings of POPL ’92
Citations:39 - 5 self

Documents Related by Co-Citation

86 Sequential algorithms on concrete data structures – G Berry, P-L Curien - 1982
395 LCF considered as a programming language – G Plotkin - 1977
49 Fully abstract semantics for observably sequential languages – Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen - 1994
118 A fully abstract game semantics for general references – S Abramsky, K Honda, G McCusker - 1998
10 SPCF: its model, calculus, and computational power – R Kanneganti, R Cartwright, M Felleisen - 1993
53 Full Abstraction for sequential languages: the state of the art – G Berry, P-L Curien, J-J Lévy - 1985
210 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
59 Hereditarily Sequential Functionals – Hanno Nickau - 1994
22 Projecting Sequential Algorithms on Strongly Stable Functions – Thomas Ehrhard - 1993
110 Fully abstract models of typed lambda calculi – R Milner - 1977
62 Full Abstraction for Functional Languages with Control – James Laird - 1997
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
34 On the symmetry of sequentiality – P-L Curien - 1993
103 Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions – Samson Abramsky, Guy McCusker - 1997
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
18 Studying the fully abstract model of PCF within its continuous function model – A Jung, A Stoughton - 1993
40 Modèles Complètement Adéquats et Stables des Lambda-calculs Typés. Thèse de Doctorat d’Etat – G Berry - 1979
22 Fully abstract translations between functional languages – J G Riecke - 1991
11 Concrete domains. Theoretical Computer Science, Böhm Festschrift special issue – G Kahn, G Plotkin - 1993