6 citations · 20 across the 17 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.PL2016★ 2 cited
Well-Typed Languages are Sound
Matteo Cimini, Dale Miller, Jeremy G. Siek
Type soundness is an important property of modern programming languages. In this paper we explore the idea that "well-typed languages are sound": the idea that the appropriate typi…
cs.PL2016★ 3 cited
Gradual Typing in an Open World
Michael M. Vitousek, Jeremy G. Siek
Gradual typing combines static and dynamic typing in the same language, offering the benefits of both to programmers. Static typing provides error detection and strong guarantees w…