- Robert Cartwright, Pierre-Louis Curien, and Matthias Felleisen. Fully abstract semantics for
observably sequential languages. Information and
Computation, 111(2):297-401, June 1994.
Abstract,
References,
Citations,
etc.
- Andrew K. Wright and Matthias Felleisen. A syntactic approach to type
soundness. Information and Computation, 115(1):38-94,
15 November 1994.
Abstract,
References,
and Citations.
Shortcuts: