16 citations · 22 across the 14 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015★ 1 cited
Bounded Refinement Types
Niki Vazou, Alexander Bakst, Ranjit Jhala
We present a notion of bounded quantification for refinement types and show how it expands the expressiveness of refinement typing by using it to develop typed combinators for: (1)…
cs.PL2015★ 1 cited
Trust, but Verify: Two-Phase Typing for Dynamic Languages
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…