40 citations · 61 across the 11 of their papers we have counts for
1 paper · 2 filters
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…