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
Skribe: a functional authoring language - MaRDI portal

Skribe: a functional authoring language

From MaRDI portal

Publication:5695118

Jump to:navigation, search

DOI10.1017/S0956796805005575zbMath1104.68394MaRDI QIDQ5695118

Manuel Serrano, Erick Gallesio

Publication date: 11 October 2005

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (1)

This page was built for publication: Skribe: a functional authoring language

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