Improvements for free

MaRDI QIDQ4965813zbMATH OpenFDO

Authors Daniel Seidel, Janis Voigtländer

Publication date 10 March 2021

Full work available at URL https://arxiv.org/abs/1107.1203, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2011.7

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2036330
• Free theorems involving type constructor classes, functional pearl
• Short cut fusion is correct
• A generalization of short-cut fusion and its correctness proof
• Free theorems in the presence of seq

Cited in

(6)

• An improvement for GVW
• Improvement theory and its applications
• Free theorems involving type constructor classes, functional pearl
• Asymptotic Improvement of Computations over Free Monads
• Programs for cheap!
• Denotational semantics as a foundation for cost recurrence extraction for functional languages

This page was built for publication: Improvements for free

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