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
A Provably Correct Compilation of Functional Languages into Scripting Languages - MaRDI portal

A Provably Correct Compilation of Functional Languages into Scripting Languages

From MaRDI portal

Publication:4621210

Jump to:navigation, search

DOI10.7561/SACS.2017.1.19zbMath1424.68028MaRDI QIDQ4621210

Albert Shaqiri, Paola Giannini

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

zbMATH Keywords

functional languages scripting languages intermediate language correct translation

Mathematics Subject Classification ID

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

Uses Software

This page was built for publication: A Provably Correct Compilation of Functional Languages into Scripting Languages

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