%0 Journal Article %1 journals/jacm/KaplanU80 %A Kaplan, Marc A. %A Ullman, Jeffrey D. %D 1980 %J J. ACM %K dblp %N 1 %P 128-145 %T A Scheme for the Automatic Inference of Variable Types. %U http://dblp.uni-trier.de/db/journals/jacm/jacm27.html#KaplanU80 %V 27

@article{journals/jacm/KaplanU80, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kaplan, Marc A. and Ullman, Jeffrey D.}, biburl = {https://www.bibsonomy.org/bibtex/24e38a762f35689477415ab23c3c600e0/dblp}, ee = {https://doi.org/10.1145/322169.322181}, interhash = {06ff541a109d304cb35938702c318db2}, intrahash = {4e38a762f35689477415ab23c3c600e0}, journal = {J. ACM}, keywords = {dblp}, number = 1, pages = {128-145}, timestamp = {2018-11-07T12:10:54.000+0100}, title = {A Scheme for the Automatic Inference of Variable Types.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm27.html#KaplanU80}, volume = 27, year = 1980 }