18 citations · 75 across the 12 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015★ 4 cited
Deriving a Simple Gradual Security Language
Ronald Garcia, Éric Tanter
Abstracting Gradual Typing (AGT) is an approach to systematically deriving gradual counterparts to static type disciplines. The approach consists of defining the semantics of gradu…
cs.PL2015★ 15 cited
Gradual Certified Programming in Coq
Éric Tanter, Nicolas Tabareau
Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated. Just like gra…