Recursive subtyping revealed (Q4709841)

From MaRDI portal
scientific article; zbMATH DE number 1932923
Language Label Description Also known as
English
Recursive subtyping revealed
scientific article; zbMATH DE number 1932923

    Statements

    Recursive subtyping revealed (English)
    0 references
    0 references
    0 references
    0 references
    23 June 2003
    0 references
    0 references
    subtyping
    0 references
    0 references