×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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

BibTeX Cite

Full Text: DOI

WorldCat.org

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

BibTeX Cite

Full Text: DOI

WorldCat.org

Filter Results by …

Author

Volume

19, No. 1 (2009) (1)
15, No. 1 (2005) (1)

Year of Publication

2009 (1)
2005 (1)

Classification

68-XX (2)

Software

GHC (1)
Haskell (1)

W3C

© 2020 FIZ Karlsruhe GmbH Privacy Policy Legal Notices Terms & Conditions