Loading...
conference paper
Structural Subtyping of Non-Recursive Types is Decidable
2003
Eighteenth Annual IEEE Symposium on Logic in Computer Science
Loading...
Name
KuncakRinard03StructuralSubtypingNonRecursiveTypesDecidable.pdf
Access type
openaccess
Size
195.55 KB
Format
Adobe PDF
Checksum (MD5)
da03230a25d60637966fd09d79c1a085