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
Possibilities and limitations of call-by-need space improvement - MaRDI portal

Possibilities and limitations of call-by-need space improvement

From MaRDI portal

Publication:5178015

Jump to:navigation, search

DOI10.1145/507635.507667zbMath1323.68210OpenAlexW2088030260MaRDI QIDQ5178015

Jörgen Gustavsson, David Sands

Publication date: 9 March 2015

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

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Possibilities and limitations of call-by-need space improvement

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