Coroutining folds with hyperfunctions

MaRDI QIDQ4994691zbMATH OpenFDO

Authors John Launchbury, Sava Krstić, T. E. Sauerwein

Publication date 21 June 2021

Full work available at URL https://arxiv.org/abs/1309.5135, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DSS2013.9

Mathematics Subject Classification ID

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

Recommendations

• When is a function a fold or an unfold?
• Logic Based Program Synthesis and Transformation
• The under-appreciated unfold
• Generalised folds for nested datatypes
• Fold and unfold for program semantics

This page was built for publication: Coroutining folds with hyperfunctions

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