Structural Subtyping of Non-Recursive Types is Decidable

Kuncak, ViktorRinard, Martin2007-08-212007-08-212007-08-21200310.1109/LICS.2003.1210049https://infoscience.epfl.ch/handle/20.500.14299/10369Structural Subtyping of Non-Recursive Types is Decidabletext::conference output::conference proceedings::conference paper