Monadic augment and generalised short cut fusion
From MaRDI portal
Publication:2936792
DOI10.1145/1086365.1086403zbMATH Open1302.68079DBLPconf/icfp/GhaniJUV05OpenAlexW2155593512WikidataQ62043273 ScholiaQ62043273MaRDI QIDQ2936792FDOQ2936792
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
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)
- Title not available (Why is that?)
- Fusion of recursive programs with computational effects
- Selective strictness and parametricity in structural operational semantics, inequationally
- Kan extensions for program optimisation Or: Art and Dan explain an old trick
- Algebraic fusion of functions with an accumulating parameter and its improvement
- Programming Languages and Systems
- Monads for incremental computing
- A principled approach to programming with nested types in Haskell
- Asymptotic Improvement of Computations over Free Monads
- Monadic augment and generalised short cut fusion
Uses Software
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)
