Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
On Barron and Strachey's cartesian product function - MaRDI portal

On Barron and Strachey's cartesian product function

From MaRDI portal

Publication:5168923

Jump to:navigation, search

DOI10.1145/1291151.1291161zbMath1291.68115OpenAlexW2047559512MaRDI QIDQ5168923

Michael Spivey, Olivier Danvy

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

Mathematics Subject Classification ID

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

Related Items (1)

Folding left and right over Peano numbers

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5168923&oldid=19725529"