Strictness, totality, and non-standard-type inference (Q5958293)

From MaRDI portal
scientific article; zbMATH DE number 1715294
Language Label Description Also known as
English
Strictness, totality, and non-standard-type inference
scientific article; zbMATH DE number 1715294

    Statements

    Strictness, totality, and non-standard-type inference (English)
    0 references
    0 references
    0 references
    0 references
    3 March 2002
    0 references
    program analysis
    0 references
    strictness
    0 references
    totality
    0 references
    non-standard-type inference
    0 references
    intersection types
    0 references

    Identifiers