On Barron and Strachey's Cartesian product function

DOI10.1145/1291151.1291161MaRDI QIDQ5168923zbMATH OpenOpenAlexFDO

Authors Olivier Danvy, Michael Spivey

Publication date 21 July 2014

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

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

zbMATH Keywords

CPL

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Data structures (68P05)

Recommendations

• Cartesian monoids
• scientific article; zbMATH DE number 1086683
• scientific article; zbMATH DE number 1036760
• The tensor product in Wadler's analysis of lists
• scientific article; zbMATH DE number 4002343

Cited in

(1)

• Folding left and right over Peano numbers

This page was built for publication: On Barron and Strachey's Cartesian product function

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