Fusion of recursive programs with computational effects

DOI10.1016/S0304-3975(00)00127-4MaRDI QIDQ5941164zbMATH OpenOpenAlexWikidataFDO

Authors Alberto Pardo

Publication date 20 August 2001

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(00)00127-4

zbMATH Keywords

deforestationeffectsmonadsprogram fusionrecursive operators

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Data structures (68P05) Semantics in the theory of computing (68Q55)

Recommendations

• Advanced Functional Programming
• scientific article; zbMATH DE number 5598380
• scientific article; zbMATH DE number 1231629
• Monadic augment and generalised short cut fusion
• Monadic augment and generalised short cut fusion

Cites work

• Algebraic specification of data types: A synthetic approach
• Comprehending monads
• Data structures and program transformation
• Deforestation: Transforming programs to eliminate trees
• Fold and unfold for program semantics
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1497806 (Why is no real title available?)
• scientific article; zbMATH DE number 1380900 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• Lifting theorems for Kleisli categories
• Notions of computation and monads
• The theory of semi-functors
• The under-appreciated unfold

Cited in

(3)

• scientific article; zbMATH DE number 1231629 (Why is no real title available?)
• Advanced Functional Programming
• Monadic augment and generalised short cut fusion

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Fusion of recursive programs with computational effects

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