Fun with Type Functions (Q3163410)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fun with Type Functions
scientific article

    Statements

    title
    Fun with Type Functions (English)
    0 references
    author
    Oleg Kiselyov
    0 references
    Chung-Chieh Shan
    0 references
    Simon L. Peyton Jones
    0 references
    publication date
    26 October 2010
    0 references
    zbMATH DE Number
    5805309
    0 references
    zbMATH Keywords
    during type checking
    0 references
    OpenAlex ID
    W1573380057
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3163410&oldid=32169580"
    Powered by MediaWiki