A fully abstract trace semantics for general references (2007)

Cached

Download Links

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