Fully abstract semantics for observably sequential languages (2003)

by Robert Cartwright , Pierre-Louis Curien , Matthias Felleisen
Citations:57 - 4 self