Taming the Merge Operator (Q5020905)

From MaRDI portal
scientific article; zbMATH DE number 7453896
Language Label Description Also known as
English
Taming the Merge Operator
scientific article; zbMATH DE number 7453896

    Statements

    title
    Taming the Merge Operator (English)
    0 references
    author
    Xuejing Huang
    0 references
    Jinxu Zhao
    0 references
    publication date
    7 January 2022
    0 references
    describes a project that uses
    Scala
    0 references
    Coq
    0 references
    Forsythe
    0 references
    cites work
    Disjoint Polymorphism
    0 references
    Q4855343
    0 references
    Operations on records
    0 references
    Q4417863
    0 references
    Q2779257
    0 references
    Q4964710
    0 references
    Q3024835
    0 references
    Q5626271
    0 references
    Q3024843
    0 references
    Q5076061
    0 references
    Coercive subtyping
    0 references
    Q3046725
    0 references
    Higher-order subtyping
    0 references
    Q4364396
    0 references
    Q2729058
    0 references
    Q3204026
    0 references

    Identifiers

    zbMATH DE Number
    7453896
    0 references
    OpenAlex ID
    W3209492269
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5020905&oldid=36939133"
    Powered by MediaWiki