1 citations · 1 across the 1 of their papers we have counts for
1 paper
Ravi Chugh, Patrick M. Rondon, Ranjit Jhala
Programs written in dynamic languages make heavy use of features --- run-time type tests, value-indexed dictionaries, polymorphism, and higher-order functions --- that are beyond t…