A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn
A Proper Extension of ML with an Effective Type-Assignment
POPL, 1988.
@inproceedings{POPL-1988-KfouryTU,
author = "A. J. Kfoury and Jerzy Tiuryn and Pawel Urzyczyn",
booktitle = "{Conference Record of the 15th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/73560.73565",
editor = "Jeanne Ferrante and P. Mager",
isbn = "0-89791-252-7",
pages = "58--69",
publisher = "{ACM Press}",
title = "{A Proper Extension of ML with an Effective Type-Assignment}",
year = 1988,
}