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
Guarded recursive datatype constructors - MaRDI portal

Guarded recursive datatype constructors (Q2942928)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Guarded recursive datatype constructors
scientific article

    Statements

    title
    Guarded recursive datatype constructors (English)
    0 references
    DOI
    10.1145/604131.604150
    0 references
    author
    Hongwei Xi
    0 references
    Chiyan Chen
    0 references
    Gang Chen
    0 references
    publication date
    11 September 2015
    0 references
    zbMATH DE Number
    6481298
    0 references
    zbMATH Keywords
    guarded recursive datatype constructors
    0 references
    OpenAlex ID
    W1984514567
    0 references
    cites work
    Q4091421
    0 references
    Q4301602
    0 references
    Q4411812
    0 references
    Q4414525
    0 references
    Q2778806
    0 references
    Q4714446
    0 references
    Q4409150
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2942928&oldid=36200465"
    Powered by MediaWiki