Phantom types and subtyping (Q3426136)

From MaRDI portal
Revision as of 11:11, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Phantom types and subtyping
scientific article

    Statements

    title
    Phantom types and subtyping (English)
    0 references
    author
    Matthew T. Fluet
    0 references
    Riccardo Pucella
    0 references
    publication date
    8 March 2007
    0 references
    zbMATH Keywords
    parametric polymorphism
    0 references
    type constraints
    0 references
    unification of polymorphic types
    0 references

    Identifiers

    zbMATH DE Number
    5131964
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3426136&oldid=27768695"
    Powered by MediaWiki