Structural Subtyping of Non-Recursive Types is Decidable.

Viktor Kuncak Martin C. Rinard Structural Subtyping of Non-Recursive Types is Decidable. 96-107 2003 conf/lics/2003 LICS http://csdl.computer.org/comp/proceedings/lics/2003/1884/00/18840096abs.htm db/conf/lics/lics2003.html#KuncakR03