Folding left and right over Peano numbers

DOI10.1017/S0956796819000042MaRDI QIDQ4972067zbMATH OpenOpenAlexWikidataFDO

Authors Olivier Danvy

Publication date 22 November 2019

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796819000042

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites work

• scientific article; zbMATH DE number 3907750 (Why is no real title available?)
• A Transformation System for Developing Recursive Programs
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Lightweight fusion by fixed point promotion
• On Barron and Strachey's Cartesian product function
• On the power of list iteration
• Origins of Recursive Function Theory
• Paramorphisms

Cited in

(2)

• Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant
• Folding left and right matters: Direct style, accumulators, and continuations

This page was built for publication: Folding left and right over Peano numbers

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