A generic usage analysis with subeffect qualifiers (Q5168932)

From MaRDI portal
scientific article; zbMATH DE number 6318911
Language Label Description Also known as
English
A generic usage analysis with subeffect qualifiers
scientific article; zbMATH DE number 6318911

    Statements

    A generic usage analysis with subeffect qualifiers (English)
    0 references
    0 references
    0 references
    0 references
    21 July 2014
    0 references
    qualified types
    0 references
    sharing analysis
    0 references
    type and effect systems
    0 references
    uniqueness typing
    0 references

    Identifiers