Monadic augment and generalised short cut fusion

DOI10.1145/1086365.1086403zbMath1302.68079DBLPconf/icfp/GhaniJUV05OpenAlexW2155593512WikidataQ62043273 ScholiaQ62043273MaRDI QIDQ2936792

Patricia Johann, Tarmo Uustalu, Neil Ghani, 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

monadsshort cut fusionbindaugmentbuild

Mathematics Subject Classification ID

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

Related Items (4)

A principled approach to programming with nested types in Haskell ⋮ Asymptotic Improvement of Computations over Free Monads ⋮ Algebraic fusion of functions with an accumulating parameter and its improvement ⋮ Selective strictness and parametricity in structural operational semantics, inequationally

Uses Software

• Haskell

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