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
Static Type Checking for the Q Functional Language in Prolog - MaRDI portal

Static Type Checking for the Q Functional Language in Prolog

From MaRDI portal

Publication:2909143

Jump to:navigation, search

DOI10.4230/LIPICS.ICLP.2011.62zbMath1245.68170OpenAlexW2124152918MaRDI QIDQ2909143

Zsolt Zombori, Péter Szeredi, János Csorba

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_4a5b.html

zbMATH Keywords

DCG types constraints logic programming static type checking CHR

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

This page was built for publication: Static Type Checking for the Q Functional Language in Prolog

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