3 citations · 7 across the 3 of their papers we have counts for
3 papers
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…
cs.MS2012★ 2 cited
Reliable Generation of High-Performance Matrix Algebra
Geoffrey Belter, Elizabeth Jessup, Thomas Nelson +2
Scientific programmers often turn to vendor-tuned Basic Linear Algebra Subprograms (BLAS) to obtain portable high performance. However, many numerical algorithms require several BL…