15 citations · 16 across the 3 of their papers we have counts for
1 paper · 2 filters
Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala
A key challenge when statically typing so-called dynamic languages is the ubiquity of value-based overloading, where a given function can dynamically reflect upon and behave accord…