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
Transparent optimisation of rewriting combinators - MaRDI portal

Transparent optimisation of rewriting combinators

From MaRDI portal

Publication:4267719

Jump to:navigation, search

DOI10.1017/S0956796899003391zbMath0940.68068WikidataQ127705584 ScholiaQ127705584MaRDI QIDQ4267719

Richard J. Boulton

Publication date: 5 October 1999

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

zbMATH Keywords

HOL system LCF system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Rewriting conversions implemented with continuations

Uses Software

This page was built for publication: Transparent optimisation of rewriting combinators

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