Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs (Q4847376)

From MaRDI portal
scientific article; zbMATH DE number 798905
Language Label Description Also known as
English
Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs
scientific article; zbMATH DE number 798905

    Statements

    Conjunctive Type Systems and Abstract Interpretation of Higher-order Functional Programs (English)
    0 references
    0 references
    20 September 1995
    0 references
    program analysis
    0 references
    type systems
    0 references
    strictness
    0 references
    category theory
    0 references
    binding-time analysis
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references