Observable Sequentiality and Full Abstraction (1992)

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