Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen. The first-order theory of subtyping constraints. In POPL. pages 203-216, 2002. [doi]
@inproceedings{SuANPT02,
title = {The first-order theory of subtyping constraints},
author = {Zhendong Su and Alexander Aiken and Joachim Niehren and Tim Priesnitz and Ralf Treinen},
year = {2002},
doi = {10.1145/503272.503292},
url = {http://doi.acm.org/10.1145/503272.503292},
tags = {constraints, subtyping},
researchr = {https://researchr.org/publication/SuANPT02},
cites = {0},
citedby = {0},
pages = {203-216},
booktitle = {POPL},
}