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
Enhancing expressivity of checked corecursive streams - MaRDI portal

Enhancing expressivity of checked corecursive streams (Q2163153)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Enhancing expressivity of checked corecursive streams
scientific article

    Statements

    title
    Enhancing expressivity of checked corecursive streams (English)
    0 references
    author
    Davide Ancona
    0 references
    Pietro Barbieri
    0 references
    Elena Zucca
    0 references
    publication date
    10 August 2022
    0 references
    zbMATH Keywords
    operational semantics
    0 references
    stream programming
    0 references
    runtime checking
    0 references
    describes a project that uses
    CoALP
    0 references
    coFJ
    0 references
    CoCaml
    0 references

    Identifiers

    zbMATH DE Number
    7570111
    0 references
    OpenAlex ID
    W4285287304
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2163153&oldid=36840320"
    Powered by MediaWiki