Extensible Denotational Language Specifications (1994)

by Robert Cartwright, Matthias Felleisen
Venue:In Proceedings of the International Conference on Theoretical Aspects of Computer Software, TACS ’94