Mutable fields in a semantic model of types (2000)

by A J Ahmed
Venue:Talk presented at 2000 PCC Workshop