DMCA

Observable Sequentiality and Full Abstraction (1992)

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