377 citations · 818 across the 21 of their papers we have counts for
1 paper · 1 filter
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,…