Infoscience

Report

On the Theory of Structural Subtyping

    Note:

    MIT LCS report number 879

    Technical report version of citeKuncakRinard03StructuralSubtypingNonRecursiveTypesDecidable

    Reference

    • LARA-REPORT-2003-004

    Record created on 2007-08-21, modified on 2017-05-12

Related material