Fully abstract semantics for observably sequential languages (2003)

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