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
Modular session types for objects - MaRDI portal

Modular session types for objects (Q3460414)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Modular session types for objects
scientific article

    Statements

    title
    Modular session types for objects (English)
    0 references
    author
    Nils Gesbert
    0 references
    António Ravara
    0 references
    Simon J. Gay
    0 references
    publication date
    7 January 2016
    0 references
    zbMATH Keywords
    typestate
    0 references
    session types
    0 references
    object-oriented calculus
    0 references
    non-uniform method availability
    0 references
    describes a project that uses
    PIPER
    0 references
    Polyglot
    0 references
    Alms
    0 references
    Cyclone
    0 references
    PLURAL
    0 references
    Fugue
    0 references

    Identifiers

    zbMATH DE Number
    6527404
    0 references
    arXiv ID
    1205.5344
    0 references
    OpenAlex ID
    W237093534
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3460414&oldid=36917025"
    Powered by MediaWiki