Montenegro, Manuel; Nieva, Susana; Peña, Ricardo; Segura, Clara Extending liquid types to arrays. (English) Zbl 1446.68096 ACM Trans. Comput. Log. 21, No. 2, Article No. 13, 41 p. (2020). MSC: 68Q60 03B38 03B70 PDF BibTeX XML Cite \textit{M. Montenegro} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 13, 41 p. (2020; Zbl 1446.68096) Full Text: DOI
Montenegro, Manuel; Peña, Ricardo; Segura, Clara A resource-aware semantics and abstract machine for a functional language with explicit deallocation. (English) Zbl 1347.68054 Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 167-182 (2009). MSC: 68N18 03B70 68N15 68N20 68N30 68P05 68Q55 PDF BibTeX XML Cite \textit{M. Montenegro} et al., Electron. Notes Theor. Comput. Sci. 246, 167--182 (2009; Zbl 1347.68054) Full Text: DOI