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 Functional Abstraction of Typed Invocation Contexts - MaRDI portal

A Functional Abstraction of Typed Invocation Contexts (Q5043596)

From MaRDI portal
scientific article; zbMATH DE number 7596582
Language Label Description Also known as
English
A Functional Abstraction of Typed Invocation Contexts
scientific article; zbMATH DE number 7596582

    Statements

    title
    A Functional Abstraction of Typed Invocation Contexts (English)
    0 references
    author
    Youyou Cong
    0 references
    Chiaki Ishio
    0 references
    Kaho Honda
    0 references
    Kenichi Asai
    0 references
    publication date
    6 October 2022
    0 references
    zbMATH Keywords
    delimited continuations
    0 references
    control operators
    0 references
    control and prompt
    0 references
    CPS translation
    0 references
    type system
    0 references
    describes a project that uses
    ML
    0 references
    Eff
    0 references
    Koka
    0 references
    cites work
    Q4945244
    0 references
    Q6159927
    0 references
    Handlers in action
    0 references
    Q4995164
    0 references
    Do be do be do
    0 references
    Q5089033
    0 references

    Identifiers

    zbMATH DE Number
    7596582
    0 references
    OpenAlex ID
    W3183160384
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5043596&oldid=39517149"
    Powered by MediaWiki