%0 Conference Paper %1 conf/ecoop/AndreasenGCSTS16 %A Andreasen, Esben %A Gordon, Colin S. %A Chandra, Satish %A Sridharan, Manu %A Tip, Frank %A Sen, Koushik %B ECOOP %D 2016 %E Krishnamurthi, Shriram %E Lerner, Benjamin S. %I Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik %K dblp %P 1:1-1:26 %T Trace Typing: An Approach for Evaluating Retrofitted Type Systems. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2016.html#AndreasenGCSTS16 %V 56 %@ 978-3-95977-014-9

@inproceedings{conf/ecoop/AndreasenGCSTS16, added-at = {2018-08-23T00:00:00.000+0200}, author = {Andreasen, Esben and Gordon, Colin S. and Chandra, Satish and Sridharan, Manu and Tip, Frank and Sen, Koushik}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/264f886a2c394f7cdec7aead6a1aa96e8/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2016}, editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.}, ee = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.1}, interhash = {2d39ee590f117aad5452c7c010975b43}, intrahash = {64f886a2c394f7cdec7aead6a1aa96e8}, isbn = {978-3-95977-014-9}, keywords = {dblp}, pages = {1:1-1:26}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, timestamp = {2019-09-27T15:12:51.000+0200}, title = {Trace Typing: An Approach for Evaluating Retrofitted Type Systems.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2016.html#AndreasenGCSTS16}, volume = 56, year = 2016 }