Type
 report 
Author(s)
Rinard, Martin
Date Issued
2003
Note
MIT LCS report number 879
Technical report version of citeKuncakRinard03StructuralSubtypingNonRecursiveTypesDecidable
Written at
OTHER
EPFL units
Available on Infoscience
 August 21, 2007 
Use this identifier to reference this record