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 metalanguage for guarded iteration - MaRDI portal

A metalanguage for guarded iteration (Q5918344)

From MaRDI portal
scientific article; zbMATH DE number 7373876
Language Label Description Also known as
English
A metalanguage for guarded iteration
scientific article; zbMATH DE number 7373876

    Statements

    title
    A metalanguage for guarded iteration (English)
    0 references
    author
    Sergei S. Goncharov
    0 references
    Christoph Rauch
    0 references
    Lutz Schröder
    0 references
    publication date
    22 July 2021
    0 references
    zbMATH Keywords
    computational monads
    0 references
    metalanguage
    0 references
    guarded iteration
    0 references
    computational adequacy
    0 references
    cites work
    Exceptional syntax
    0 references
    Q2746874
    0 references
    Q5287508
    0 references
    Q4219036
    0 references
    Q5009436
    0 references
    Q4585073
    0 references
    Q5718566
    0 references
    Q4960258
    0 references
    Q4215784
    0 references
    Q3992568
    0 references
    Q4282574
    0 references
    Q4963901
    0 references
    Q2771052
    0 references
    Q3141916
    0 references

    Identifiers

    zbMATH DE Number
    7373876
    0 references
    OpenAlex ID
    W2883648552
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5918344&oldid=38849238"
    Powered by MediaWiki