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
An operational semantics for parallel lazy evaluation - MaRDI portal

An operational semantics for parallel lazy evaluation (Q2943366)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An operational semantics for parallel lazy evaluation
scientific article

    Statements

    title
    An operational semantics for parallel lazy evaluation (English)
    0 references
    author
    Clem Baker-Finch
    0 references
    David J. King
    0 references
    Phil W. Trinder
    0 references
    publication date
    11 September 2015
    0 references

    Identifiers

    DOI
    10.1145/351240.351256
    0 references
    zbMATH DE Number
    6481631
    0 references
    OpenAlex ID
    W2041641737
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2943366&oldid=32080236"
    Powered by MediaWiki