Monadic augment and generalised short cut fusion

DOI10.1017/S0956796807006314zbMath1130.68039OpenAlexW2013808242MaRDI QIDQ5428372

Patricia Johann, Neil Ghani

Publication date: 22 November 2007

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796807006314

zbMATH Keywords

monadic programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Asymptotic Improvement of Computations over Free Monads ⋮ A family of syntactic logical relations for the semantics of Haskell-like languages

Cites Work

• Notions of computation and monads
• A generalization of short-cut fusion and its correctness proof
• Generalizing Substitution
• Sequent combinators: a Hilbert system for the lambda calculus
• Fusion of recursive programs with computational effects

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