16 citations · 62 across the 19 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.LO2016★ 4 cited
On the characterization of models of H*: The semantical aspect
Flavien Breuvart
We give a characterization, with respect to a large class of models of untyped lambda-calculus, of those models that are fully abstract for head-normalization, i.e., whose equation…