@proceedings{DBLP:conf/popl/2005,
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = POPL,
	Editor = {J. Palsberg and M. Abadi},
	Publisher = {ACM},
	Title = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005},
	Year = {2005}}

{"_id":"9EZKo8DpoqEwJ8ivm","bibbaseid":"palsberg-abadi-proceedingsofthe32ndacmsigplansigactsymposiumonprinciplesofprogramminglanguagespopl2005longbeachcaliforniausajanuary12142005-2005","downloads":0,"creationDate":"2016-11-02T20:52:20.145Z","title":"Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005","author_short":null,"year":2005,"bibtype":"proceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","bibsource":"DBLP, http://dblp.uni-trier.de","booktitle":"POPL","editor":[{"firstnames":["J."],"propositions":[],"lastnames":["Palsberg"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Abadi"],"suffixes":[]}],"publisher":"ACM","title":"Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005","year":"2005","bibtex":"@proceedings{DBLP:conf/popl/2005,\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = POPL,\n\tEditor = {J. Palsberg and M. Abadi},\n\tPublisher = {ACM},\n\tTitle = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005},\n\tYear = {2005}}\n\n","editor_short":["Palsberg, J.","Abadi, M."],"key":"DBLP:conf/popl/2005","id":"DBLP:conf/popl/2005","bibbaseid":"palsberg-abadi-proceedingsofthe32ndacmsigplansigactsymposiumonprinciplesofprogramminglanguagespopl2005longbeachcaliforniausajanuary12142005-2005","role":"editor","urls":{},"downloads":0,"html":""},"search_terms":["proceedings","32nd","acm","sigplan","sigact","symposium","principles","programming","languages","popl","2005","long","beach","california","usa","january","2005"],"keywords":[],"authorIDs":[],"dataSources":["7Z8XEkSJX2s636QcA"]}