%0 Conference Paper %1 conf/esop/OKeefeW92 %A O'Keefe, Patrick %A Wand, Mitchell %B ESOP %D 1992 %E Krieg-Brückner, Bernd %I Springer %K dblp %P 408-417 %T Type Inference for Partial Types is Decidable. %U http://dblp.uni-trier.de/db/conf/esop/esop92.html#OKeefeW92 %V 582 %@ 3-540-55253-7

@inproceedings{conf/esop/OKeefeW92, added-at = {2019-09-25T00:00:00.000+0200}, author = {O'Keefe, Patrick and Wand, Mitchell}, biburl = {https://www.bibsonomy.org/bibtex/2bf3fef23f1fdd49993ceea89248c0100/dblp}, booktitle = {ESOP}, crossref = {conf/esop/1992}, editor = {Krieg-Brückner, Bernd}, ee = {https://doi.org/10.1007/3-540-55253-7_24}, interhash = {d0849a9b8fc9c3cf10df76a718ca9204}, intrahash = {bf3fef23f1fdd49993ceea89248c0100}, isbn = {3-540-55253-7}, keywords = {dblp}, pages = {408-417}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:50:36.000+0200}, title = {Type Inference for Partial Types is Decidable.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop92.html#OKeefeW92}, volume = 582, year = 1992 }