Denotational Semantics Using an Operationally-Based Term Model.

Mitchell Wand, Gregory T. Sullivan

Browse the full POPL paper archive.