Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen. Trace Typing: An Approach for Evaluating Retrofitted Type Systems. In Shriram Krishnamurthi, Benjamin S. Lerner, editors, 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy. Volume 56 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
@inproceedings{AndreasenGCSTS16, title = {Trace Typing: An Approach for Evaluating Retrofitted Type Systems}, author = {Esben Andreasen and Colin S. Gordon and Satish Chandra and Manu Sridharan and Frank Tip and Koushik Sen}, year = {2016}, doi = {10.4230/LIPIcs.ECOOP.2016.1}, url = {http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.1}, researchr = {https://researchr.org/publication/AndreasenGCSTS16}, cites = {0}, citedby = {0}, booktitle = {30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy}, editor = {Shriram Krishnamurthi and Benjamin S. Lerner}, volume = {56}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-95977-014-9}, }