Denotational Semantics Using an Operationally-Based Term Model (1997)

Cached

Download Links

by Mitchell Wand , Gregory T. Sullivan
Venue:In Proc. 24th ACM Symposium on Principles of Programming Languages
Citations:1 - 0 self