@inproceedings{missier_semantic_1992,
	address = {Tremezzo, Como, Italy},
	title = {Semantic unification in the inference of union types},
	booktitle = {Procs. {GULP}'92 ({Logic} {Programming})},
	author = {Missier, P},
	year = {1992},
}

{"_id":{"_str":"53422bae0e946d920a000092"},"__v":2,"authorIDs":["5456e5b28b01c8193000003a"],"author_short":["Missier, P"],"bibbaseid":"missier-semanticunificationintheinferenceofuniontypes-1992","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Tremezzo, Como, Italy","title":"Semantic unification in the inference of union types","booktitle":"Procs. GULP'92 (Logic Programming)","author":[{"propositions":[],"lastnames":["Missier"],"firstnames":["P"],"suffixes":[]}],"year":"1992","bibtex":"@inproceedings{missier_semantic_1992,\n\taddress = {Tremezzo, Como, Italy},\n\ttitle = {Semantic unification in the inference of union types},\n\tbooktitle = {Procs. {GULP}'92 ({Logic} {Programming})},\n\tauthor = {Missier, P},\n\tyear = {1992},\n}\n\n","author_short":["Missier, P"],"key":"missier_semantic_1992","id":"missier_semantic_1992","bibbaseid":"missier-semanticunificationintheinferenceofuniontypes-1992","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/MTSG9SdhWPisKNpZX/MyPublications-bibbase.bib","downloads":0,"keywords":[],"search_terms":["semantic","unification","inference","union","types","missier"],"title":"Semantic unification in the inference of union types","year":1992,"dataSources":["zh27EpT9RPew3MWSE","ner3YxPo3mvD9E5ym","nF6KkFb4XxGruanwy","BDjqJntjXzyBmLxhv","25kjbmCDwcgy8vnRq","oiWqtmpFQ6ZtiMEK2","k75vCTghu54BjX5qH","j9tnaL2u4rifwAc2v","NCorZq2vkXK6BnhLF","ze2X9uz8Dcv2oGipf","afppXLgSuddAzAL9e","wJE4ynGem9MRsXBRn","9zrgMZfGdRkdkNXfZ","qTQGxWDYeue2pHBus"]}