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
Fully abstract compilation to JavaScript - MaRDI portal

Fully abstract compilation to JavaScript (Q2931813)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fully abstract compilation to JavaScript
scientific article

    Statements

    title
    Fully abstract compilation to JavaScript (English)
    0 references
    author
    Nikhil Swamy
    0 references
    Juan Chen
    0 references
    Pierre-Yves Strub
    0 references
    Benjamin Livshits
    0 references
    Cédric Fournet
    0 references
    publication date
    27 November 2014
    0 references
    zbMATH Keywords
    full abstraction
    0 references
    program equivalence
    0 references
    refinement types
    0 references

    Identifiers

    zbMATH DE Number
    6374688
    0 references
    OpenAlex ID
    W2108416936
    0 references
    Wikidata QID
    Q131115861
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2931813&oldid=37881029"
    Powered by MediaWiki