Alexander Aiken, Edward L. Wimmers
Type Inclusion Constraints and Type Inference
FPCA, 1993.
@inproceedings{FPCA-1993-AikenW,
author = "Alexander Aiken and Edward L. Wimmers",
booktitle = "{Proceedings of the Sixth Conference on Functional Programming Languages and Computer Architecture}",
isbn = "0-89791-595-X",
pages = "31--41",
publisher = "{ACM Press}",
title = "{Type Inclusion Constraints and Type Inference}",
year = 1993,
}