Type error slicing in implicitly typed higher-order languages (Q1887738)

From MaRDI portal
Revision as of 06:07, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Type error slicing in implicitly typed higher-order languages
scientific article

    Statements

    Type error slicing in implicitly typed higher-order languages (English)
    0 references
    0 references
    0 references
    22 November 2004
    0 references
    0 references
    Type error location
    0 references
    Type inference
    0 references
    Intersection types
    0 references