Implicit coercions in type systems (Q4647565)

From MaRDI portal
scientific article; zbMATH DE number 7002041
Language Label Description Also known as
English
Implicit coercions in type systems
scientific article; zbMATH DE number 7002041

    Statements

    Implicit coercions in type systems (English)
    0 references
    0 references
    15 January 2019
    0 references
    0 references
    0 references
    0 references
    0 references
    normal form
    0 references
    formal system
    0 references
    type system
    0 references
    type theory
    0 references
    record type
    0 references
    0 references
    0 references
    0 references