Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009. Kennedy, A. & Ahmed, A., editors Volume ACM. 2009. ![Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009 [link]](https://bibbase.org/img/filetypes/link.svg "link")
Link bibtex @proceedings{DBLP:conf/tldi/2009,
Bibsource = {DBLP, http://dblp.uni-trier.de},
Booktitle = {TLDI},
Editor = {Andrew Kennedy and Amal Ahmed},
Ee = {http://dl.acm.org/citation.cfm?id=1481861},
Isbn = {978-1-60558-420-1},
Publisher = {ACM},
Title = {Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009},
Year = {2009}}
Downloads: 0
{"_id":"JES4RtWETQ2NKH4YR","bibbaseid":"kennedy-ahmed-proceedingsoftldi092009acmsigplaninternationalworkshopontypesinlanguagesdesignandimplementationsavannahgausajanuary242009-2009","authorIDs":[],"bibdata":{"bibtype":"proceedings","type":"proceedings","bibsource":"DBLP, http://dblp.uni-trier.de","booktitle":"TLDI","editor":[{"firstnames":["Andrew"],"propositions":[],"lastnames":["Kennedy"],"suffixes":[]},{"firstnames":["Amal"],"propositions":[],"lastnames":["Ahmed"],"suffixes":[]}],"ee":"http://dl.acm.org/citation.cfm?id=1481861","isbn":"978-1-60558-420-1","publisher":"ACM","title":"Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009","year":"2009","bibtex":"@proceedings{DBLP:conf/tldi/2009,\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = {TLDI},\n\tEditor = {Andrew Kennedy and Amal Ahmed},\n\tEe = {http://dl.acm.org/citation.cfm?id=1481861},\n\tIsbn = {978-1-60558-420-1},\n\tPublisher = {ACM},\n\tTitle = {Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009},\n\tYear = {2009}}\n\n","editor_short":["Kennedy, A.","Ahmed, A."],"key":"DBLP:conf/tldi/2009","id":"DBLP:conf/tldi/2009","bibbaseid":"kennedy-ahmed-proceedingsoftldi092009acmsigplaninternationalworkshopontypesinlanguagesdesignandimplementationsavannahgausajanuary242009-2009","role":"editor","urls":{"Link":"http://dl.acm.org/citation.cfm?id=1481861"},"downloads":0,"html":""},"bibtype":"proceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.612Z","downloads":0,"keywords":[],"search_terms":["proceedings","tldi","2009","acm","sigplan","international","workshop","types","languages","design","implementation","savannah","usa","january","2009"],"title":"Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009","year":2009,"dataSources":["7Z8XEkSJX2s636QcA"]}