Observable Sequentiality and Full Abstraction (1992)

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

Active Bibliography

Sequential Languages – Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version) – Ramarao Kanneganti, Robert Cartwright, Robert Cartwright, Matthias Felleisen, Matthias Felleisen - 1992
49 Fully abstract semantics for observably sequential languages – Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen - 1994
136 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
195 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher