Skip to content

A Fully Abstract Trace Semantics for General References.

James Laird

VenueA*ICALP
Year2007
ProceedingsICALP

Browse the full ICALP paper archive.