Greenman, Ben; Takikawa, Asumu; New, Max S.; Feltey, Daniel; Findler, Robert Bruce; Vitek, Jan; Felleisen, Matthias How to evaluate the performance of gradual type systems. (English) Zbl 1493.68087 J. Funct. Program. 29, Paper No. e4, 45 p. (2019). MSC: 68N18 PDFBibTeX XMLCite \textit{B. Greenman} et al., J. Funct. Program. 29, Paper No. e4, 45 p. (2019; Zbl 1493.68087) Full Text: DOI
Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean Secure distributed programming with value-dependent types. (English) Zbl 1290.68033 J. Funct. Program. 23, No. 4, 402-451 (2013). MSC: 68N19 68N18 68N30 68N15 68T15 PDFBibTeX XMLCite \textit{N. Swamy} et al., J. Funct. Program. 23, No. 4, 402--451 (2013; Zbl 1290.68033) Full Text: DOI