Wright, Andrew K.; Felleisen, Matthias A syntactic approach to type soundness. (English) Zbl 0938.68559 Inf. Comput. 115, No. 1, 38-94 (1994). Cited in 83 Documents MSC: 68N15 Theory of programming languages PDF BibTeX XML Cite \textit{A. K. Wright} and \textit{M. Felleisen}, Inf. Comput. 115, No. 1, 38--94 (1994; Zbl 0938.68559) Full Text: DOI Link OpenURL