A fully abstract trace semantics for general references (2007)

Cached

Download Links

by J. Laird
Venue:In: 34th ICALP. Volume 4596 of LNCS
Citations:17 - 0 self