Algebraic fusion of functions with an accumulating parameter and its improvement

DOI10.1145/1159803.1159835zbMath1321.68170OpenAlexW2080210793MaRDI QIDQ5501470

Susumu Nishimura, Shin-ya Katsumata

Publication date: 3 August 2015

Published in: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1159803.1159835

zbMATH Keywords

shortcut fusionaccumulating parameterdata contextshigher-order removalmonoids and monoid homomorphismspartial and infinite data structures

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Algebraic fusion of functions with an accumulating parameter and its improvement