Sciweavers

TACS
1997
Springer

System F with Width-Subtyping and Record Updating

15 years 27 days ago
System F with Width-Subtyping and Record Updating
Erik Poll
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where TACS
Authors Erik Poll
Comments (0)