scientific article; zbMATH DE number 2086493

MaRDI QIDQ4736971zbMATH OpenFDO

Authors Clara Segura, Ricardo Peña

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2312/23120001.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Parallel functional programming in Eden
• scientific article; zbMATH DE number 2065560
• scientific article; zbMATH DE number 1691457
• scientific article; zbMATH DE number 2102058
• Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms

Cited in

(3)

• Using Template Haskell for abstract interpretation
• scientific article; zbMATH DE number 2065560 (Why is no real title available?)
• scientific article; zbMATH DE number 2102058 (Why is no real title available?)

Describes a project that uses

Uses Software

• Eden
• Haskell

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4736971)