Trace Typing: An Approach for Evaluating Retrofitted Type Systems

Other

Esben Sparre Andreasen, Colin Stebbins Gordon, Satish Chandra, Manu Sridharan, Frank Tip and Koushik Sen

Leibniz International Proceedings in Informatics, LIPIcs, v 56

01 Jan 2016

Files and links (1)

url

https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.1View

Open

Computer Science

8 Record Views

3 citations in Scopus

Title: Trace Typing: An Approach for Evaluating Retrofitted Type Systems
Creators: Esben Sparre Andreasen - Aarhus University
Colin Stebbins Gordon - Drexel University
Satish Chandra - Samsung
Manu Sridharan - Samsung
Frank Tip - IBM
Koushik Sen - University of California, Berkeley
Publication Details: Leibniz International Proceedings in Informatics, LIPIcs, v 56
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
Resource Type: Other
Language: English
Academic Unit: Computer Science
Scopus ID: 2-s2.0-84982786600
Other Identifier: 991019173895604721