Observable Sequentiality and Full Abstraction (1992)

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