Polymorphic typed defunctionalization and concretization (Q853737)

From MaRDI portal
Revision as of 03:48, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Polymorphic typed defunctionalization and concretization
scientific article

    Statements

    title
    Polymorphic typed defunctionalization and concretization (English)
    0 references
    author
    François Pottier
    0 references
    Nadji Gauthier
    0 references
    publication date
    17 November 2006
    0 references
    zbMATH DE Number
    5073692
    0 references
    zbMATH Keywords
    Defunctionalization
    0 references
    Closure conversion
    0 references
    Polymorphism
    0 references
    Type-preserving compilation
    0 references
    Concretization
    0 references
    Polymorphic records
    0 references
    Dictionary records
    0 references
    Type classes
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q853737&oldid=23659742"
    Powered by MediaWiki