%0 Conference Paper %1 conf/popl/KfouryTU88 %A Kfoury, A. J. %A Tiuryn, Jerzy %A Urzyczyn, Pawel %B POPL %D 1988 %E Ferrante, Jeanne %E Mager, Peter %I ACM Press %K dblp %P 58-69 %T A Proper Extension of ML with an Effective Type-Assignment. %U http://dblp.uni-trier.de/db/conf/popl/popl88.html#KfouryTU88 %@ 0-89791-252-7

@inproceedings{conf/popl/KfouryTU88, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kfoury, A. J. and Tiuryn, Jerzy and Urzyczyn, Pawel}, biburl = {https://www.bibsonomy.org/bibtex/2d7b1ce42a744ad95506fb2ad00e6a0db/dblp}, booktitle = {POPL}, crossref = {conf/popl/1988}, editor = {Ferrante, Jeanne and Mager, Peter}, ee = {https://doi.org/10.1145/73560.73565}, interhash = {a034de4760912d5e26fd3cb9c3333543}, intrahash = {d7b1ce42a744ad95506fb2ad00e6a0db}, isbn = {0-89791-252-7}, keywords = {dblp}, pages = {58-69}, publisher = {ACM Press}, timestamp = {2024-04-09T13:30:28.000+0200}, title = {A Proper Extension of ML with an Effective Type-Assignment.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl88.html#KfouryTU88}, year = 1988 }