%0 Conference Paper %1 conf/fpca/AikenW93 %A Aiken, Alexander %A Wimmers, Edward L. %B FPCA %D 1993 %E Williams, John %I ACM %K dblp %P 31-41 %T Type Inclusion Constraints and Type Inference. %U http://dblp.uni-trier.de/db/conf/fpca/fpca93.html#AikenW93 %@ 0-89791-595-X

@inproceedings{conf/fpca/AikenW93, added-at = {2018-11-06T00:00:00.000+0100}, author = {Aiken, Alexander and Wimmers, Edward L.}, biburl = {https://www.bibsonomy.org/bibtex/2123f70c995204525311994cf920a2f0e/dblp}, booktitle = {FPCA}, crossref = {conf/fpca/1993}, editor = {Williams, John}, ee = {https://doi.org/10.1145/165180.165188}, interhash = {e1ccddd267b4933281549c04529282e5}, intrahash = {123f70c995204525311994cf920a2f0e}, isbn = {0-89791-595-X}, keywords = {dblp}, pages = {31-41}, publisher = {ACM}, timestamp = {2018-11-07T13:19:03.000+0100}, title = {Type Inclusion Constraints and Type Inference.}, url = {http://dblp.uni-trier.de/db/conf/fpca/fpca93.html#AikenW93}, year = 1993 }