Asymptotic Improvement of Computations over Free Monads

DOI10.1007/978-3-540-70594-9_20MaRDI QIDQ3521997zbMATH OpenOpenAlexFDO

Authors Janis Voigtländer

Publication date 28 August 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70594-9_20

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• Monads for incremental computing
• Monadic augment and generalised short cut fusion
• Free applicative functors
• Improvements for free
• Monadic augment and generalised short cut fusion

Cites work

• A generalization of short-cut fusion and its correctness proof
• Data types à la carte
• Monadic augment and generalised short cut fusion
• Monadic augment and generalised short cut fusion
• Notions of computation and monads
• Two-level types and parameterized modules

Cited in

(8)

• Factorising folds for faster functions
• Combining deep and shallow embedding of domain-specific languages
• Complexity bounds for container functors and comonads
• Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes
• Interleaving data and effects
• A theory of conversion relations for prefixed units of measure
• Functional pearl: a smart view on datatypes
• Notions of computation as monoids

This page was built for publication: Asymptotic Improvement of Computations over Free Monads

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