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, }