Stefan Wehr, Peter Thiemann. On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints. New Generation Comput., 29(1):87-124, 2011. [doi]
@article{WehrT11, title = {On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints}, author = {Stefan Wehr and Peter Thiemann}, year = {2011}, doi = {10.1007/s00354-010-0100-1}, url = {http://dx.doi.org/10.1007/s00354-010-0100-1}, tags = {constraints, subtyping}, researchr = {https://researchr.org/publication/WehrT11}, cites = {0}, citedby = {0}, journal = {New Generation Comput.}, volume = {29}, number = {1}, pages = {87-124}, }