Theory and applications of inverting functions as folds

DOI10.1016/J.SCICO.2003.09.003zbMath1091.68026OpenAlexW2151410490MaRDI QIDQ1881267

Shin-Cheng Mu, Richard S. Bird

Publication date: 4 October 2004

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2003.09.003

zbMATH Keywords

relational fold

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

Programming from metaphorisms ⋮ Algebra of programming in Agda: Dependent types for relational program derivation ⋮ Longest segment of balanced parentheses: an exercise in program inversion in a segment problem ⋮ Merging Hierarchically-Structured Documents in Workflow Systems

This page was built for publication: Theory and applications of inverting functions as folds