@inproceedings{Boehm_1985,
    doi = {10.1109/sfcs.1985.44},
    url = {https://doi.org/10.1109%2Fsfcs.1985.44},
    year = {1985},
    publisher = {{IEEE}},
    author = {Hans-J. Boehm},
    title = {Partial polymorphic type inference is undecidable},
    booktitle = {26th Annual Symposium on Foundations of Computer Science (sfcs 1985)}
}

@inproceedings{Boehm_1985, doi = {10.1109/sfcs.1985.44}, url = {https://doi.org/10.1109%2Fsfcs.1985.44}, year = {1985}, publisher = {{IEEE}}, author = {Hans-J. Boehm}, title = {Partial polymorphic type inference is undecidable}, booktitle = {26th Annual Symposium on Foundations of Computer Science (sfcs 1985)} }