Structural subtyping of non-recursive types is decidable (2003)

by Viktor Kuncak, Martin C Rinard
Venue:In Logic in Computer Science