@inproceedings{damas_principal_1982,
	address = {New York, New York, USA},
	title = {Principal type-schemes for functional programs},
	isbn = {0-89791-065-6},
	url = {http://portal.acm.org/citation.cfm?doid=582153.582176},
	doi = {10/bcnvwk},
	abstract = {An abstract is not available.},
	urldate = {2015-10-25},
	booktitle = {Proceedings of the 9th {ACM} {SIGPLAN}-{SIGACT} symposium on {Principles} of programming languages - {POPL} '82},
	publisher = {ACM},
	author = {Damas, Luis and Milner, Robin},
	month = jan,
	year = {1982},
	note = {Issue: October
ISSN: 01406736},
	pages = {207--212}
}

{"_id":"KMj3gN6u3BXhnKf3Y","bibbaseid":"damas-milner-principaltypeschemesforfunctionalprograms-1982","authorIDs":[],"author_short":["Damas, L.","Milner, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"New York, New York, USA","title":"Principal type-schemes for functional programs","isbn":"0-89791-065-6","url":"http://portal.acm.org/citation.cfm?doid=582153.582176","doi":"10/bcnvwk","abstract":"An abstract is not available.","urldate":"2015-10-25","booktitle":"Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82","publisher":"ACM","author":[{"propositions":[],"lastnames":["Damas"],"firstnames":["Luis"],"suffixes":[]},{"propositions":[],"lastnames":["Milner"],"firstnames":["Robin"],"suffixes":[]}],"month":"January","year":"1982","note":"Issue: October ISSN: 01406736","pages":"207–212","bibtex":"@inproceedings{damas_principal_1982,\n\taddress = {New York, New York, USA},\n\ttitle = {Principal type-schemes for functional programs},\n\tisbn = {0-89791-065-6},\n\turl = {http://portal.acm.org/citation.cfm?doid=582153.582176},\n\tdoi = {10/bcnvwk},\n\tabstract = {An abstract is not available.},\n\turldate = {2015-10-25},\n\tbooktitle = {Proceedings of the 9th {ACM} {SIGPLAN}-{SIGACT} symposium on {Principles} of programming languages - {POPL} '82},\n\tpublisher = {ACM},\n\tauthor = {Damas, Luis and Milner, Robin},\n\tmonth = jan,\n\tyear = {1982},\n\tnote = {Issue: October\nISSN: 01406736},\n\tpages = {207--212}\n}\n\n","author_short":["Damas, L.","Milner, R."],"key":"damas_principal_1982","id":"damas_principal_1982","bibbaseid":"damas-milner-principaltypeschemesforfunctionalprograms-1982","role":"author","urls":{"Paper":"http://portal.acm.org/citation.cfm?doid=582153.582176"},"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/k4rtik","creationDate":"2020-05-31T17:07:22.533Z","downloads":0,"keywords":[],"search_terms":["principal","type","schemes","functional","programs","damas","milner"],"title":"Principal type-schemes for functional programs","year":1982,"dataSources":["Z5Dp3qAJiMzxtvKMq"]}