Giannini, Paola; Shaqiri, Albert A provably correct compilation of functional languages into scripting languages. (English) Zbl 1424.68028 Sci. Ann. Comput. Sci. 27, No. 1, 19-76 (2017). MSC: 68N15 68N18 68N20 PDFBibTeX XMLCite \textit{P. Giannini} and \textit{A. Shaqiri}, Sci. Ann. Comput. Sci. 27, No. 1, 19--76 (2017; Zbl 1424.68028) Full Text: DOI
Valiron, Benoît; Zdancewic, Steve Modeling simply-typed lambda calculi in the category of finite vector spaces. (English) Zbl 1424.18015 Sci. Ann. Comput. Sci. 24, No. 2, 325-368 (2014). MSC: 18C20 68N18 03B40 68Q70 68-06 PDFBibTeX XMLCite \textit{B. Valiron} and \textit{S. Zdancewic}, Sci. Ann. Comput. Sci. 24, No. 2, 325--368 (2014; Zbl 1424.18015) Full Text: DOI
Tarau, Paul Arithmetic and Boolean operations on recursively run-length compressed natural numbers. (English) Zbl 1423.68221 Sci. Ann. Comput. Sci. 24, No. 2, 287-323 (2014). MSC: 68Q25 11Y16 68N18 68P30 PDFBibTeX XMLCite \textit{P. Tarau}, Sci. Ann. Comput. Sci. 24, No. 2, 287--323 (2014; Zbl 1423.68221) Full Text: DOI
Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Nierstrasz, Oscar A calculus of evolving objects. (English) Zbl 1424.68038 Sci. Ann. Comput. Sci. 18, 63-98 (2008). MSC: 68N30 68N18 PDFBibTeX XMLCite \textit{M. Dezani-Ciancaglini} et al., Sci. Ann. Comput. Sci. 18, 63--98 (2008; Zbl 1424.68038)