40 citations · 71 across the 8 of their papers we have counts for
1 paper · 1 filter
Max Carroll, Anil Madhavapeddy, Patrick Ferris
We explore how to provide programmers with an interactive interface for explaining the process by which static types and dynamic casts are derived, with the goal of improving the d…