Martin Odersky, Martin Sulzmann, Martin Wehr. Type Inference with Constrained Types. TAPOS, 5(1):35-55, 1999.
@article{OderskySW99,
title = {Type Inference with Constrained Types},
author = {Martin Odersky and Martin Sulzmann and Martin Wehr},
year = {1999},
tags = {type inference},
researchr = {https://researchr.org/publication/OderskySW99},
cites = {0},
citedby = {0},
journal = {TAPOS},
volume = {5},
number = {1},
pages = {35-55},
}