Monadic augment and generalised short cut fusion

DOI10.1145/1086365.1086403MaRDI QIDQ2936792zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene

Publication date 6 January 2015

Published in Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1086365.1086403

zbMATH Keywords

augmentbindbuildmonadsshort cut fusion

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Monadic augment and generalised short cut fusion
• scientific article; zbMATH DE number 5598380
• scientific article; zbMATH DE number 1231629
• The monadic hybrid calculus
• scientific article; zbMATH DE number 1086712
• Monads, partial evaluations, and rewriting
• Monadic combination using co limits and folds
• Unifying graded and parameterised monads
• Synthesizing Monadic Predicates
• Monadification of functional programs

Cited in

(10)

• Selective strictness and parametricity in structural operational semantics, inequationally
• Kan extensions for program optimisation Or: Art and Dan explain an old trick
• Monads for incremental computing
• scientific article; zbMATH DE number 5598380 (Why is no real title available?)
• Asymptotic Improvement of Computations over Free Monads
• Algebraic fusion of functions with an accumulating parameter and its improvement
• Monadic augment and generalised short cut fusion
• Programming Languages and Systems
• Fusion of recursive programs with computational effects
• A principled approach to programming with nested types in Haskell

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Monadic augment and generalised short cut fusion

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