scientific article; zbMATH DE number 1231629

MaRDI QIDQ4222952zbMATH OpenFDO

Authors Alberto Pardo

Publication date 6 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=11#11007

zbMATH Keywords

monadic recursive functions

Mathematics Subject Classification ID

Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65)

Recommendations

• Fusion of recursive programs with computational effects
• Functional programming with apomorphisms (corecursion)
• Recursive monadic bindings
• Monad compositions. I: General constructions and recursive distributive laws
• From corecursive algebras to corecursive monads

Cited in

(8)

• Continuity as a computational effect
• Functional programming with apomorphisms (corecursion)
• Monadic augment and generalised short cut fusion
• scientific article; zbMATH DE number 7449991 (Why is no real title available?)
• scientific article; zbMATH DE number 5598380 (Why is no real title available?)
• Monadic augment and generalised short cut fusion
• Fusion of recursive programs with computational effects
• Fantastic morphisms and where to find them. A guide to recursion schemes

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 Q4222952)