de la Encina, Alberto; Peña, Ricardo From natural semantics to C: a formal derivation of two STG machines. (English) Zbl 1159.68005 J. Funct. Program. 19, No. 1, 47-94 (2009). MSC: 68N18 68N20 68Q55 PDF BibTeX XML Cite \textit{A. de la Encina} and \textit{R. Peña}, J. Funct. Program. 19, No. 1, 47--94 (2009; Zbl 1159.68005) Full Text: DOI
Peña, Ricardo; Segura, Clara Non-determinism analyses in a parallel-functional language. (English) Zbl 1063.68025 J. Funct. Program. 15, No. 1, 67-100 (2005). MSC: 68N15 68N18 PDF BibTeX XML Cite \textit{R. Peña} and \textit{C. Segura}, J. Funct. Program. 15, No. 1, 67--100 (2005; Zbl 1063.68025) Full Text: DOI