Structural Subtyping of Non-Recursive Types is Decidable

conference paper

•

Rinard, Martin

2003

Eighteenth Annual IEEE Symposium on Logic in Computer Science

Name

KuncakRinard03StructuralSubtypingNonRecursiveTypesDecidable.pdf

Access type

openaccess

Size

195.55 KB

Format

Adobe PDF

Checksum (MD5)

da03230a25d60637966fd09d79c1a085