Constructed product result analysis for Haskell

DOI10.1017/S0956796803004751MaRDI QIDQ4819370zbMATH OpenOpenAlexFDO

Authors Clem Baker-Finch, Kevin Glynn, Simon Peyton-Jones

Publication date 24 September 2004

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796803004751

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Recommendations

• Modular, higher order cardinality analysis in theory and practice
• Modular, higher-order cardinality analysis in theory and practice
• scientific article; zbMATH DE number 3907749
• scientific article; zbMATH DE number 50153
• Flow analysis of lazy higher-order functional programs

Cited in

(2)

• On building cyclic and shared structures in Haskell
• Multi-return function call

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Constructed product result analysis for Haskell

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