collaborators

1 paper

cs.PL2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version)

Esben Andreasen, Colin S. Gordon, Satish Chandra +3

Recent years have seen growing interest in the retrofitting of type systems onto dynamically-typed programming languages, in order to improve type safety, programmer productivity,…