conference paper

Structural Subtyping of Non-Recursive Types is Decidable

Kuncak, Viktor  orcid-logo
•
Rinard, Martin
2003
Eighteenth Annual IEEE Symposium on Logic in Computer Science