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
Methods and tools for producing programs in a functional programming system - MaRDI portal

Methods and tools for producing programs in a functional programming system

From MaRDI portal

Publication:1103372

Jump to:navigation, search

zbMath0645.68011MaRDI QIDQ1103372

G. A. Drobushevich, K. A. Zubovich

Publication date: 1987

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

functional programming applicative programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Automatic verification of functional programs

This page was built for publication: Methods and tools for producing programs in a functional programming system

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