Skip to content

Trace semantics for polymorphic references.

Guilhem Jaber, Nikos Tzevelekos

VenueA*LICS
Year2016
ProceedingsLICS

Browse the full LICS paper archive.