Qualified Types

DOI10.1017/CBO9780511663086MaRDI QIDQ4856174zbMATH OpenOpenAlexFDO

Authors Mark P. Jones

Publication date 23 November 1995

Full work available at URL https://doi.org/10.1017/cbo9780511663086

zbMATH Keywords

functional programmingfunctional languagetype inferencetypes polymorphism

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Logic in artificial intelligence (68T27)

Recommendations

• A theory of qualified types
• Qualified types for MLF
• Specifying type systems
• scientific article; zbMATH DE number 1479609
• Type Reconstruction for Type Classes

Cited in

(16)

• Proof relevant corecursive resolution
• A language for generic programming in the large
• Modular inference of linear types for multiplicity-annotated arrows
• scientific article; zbMATH DE number 1951131 (Why is no real title available?)
• Type-directed weaving of aspects for polymorphically typed functional languages
• Indexed types
• A theory of qualified types
• Meta-programming with built-in type equality
• COCHIS: stable and coherent implicits
• An ML-style record calculus with extensible records
• scientific article; zbMATH DE number 1479609 (Why is no real title available?)
• Qualified types for MLF
• Disjoint polymorphism
• A type-theoretic approach to resolution
• Type classes for lightweight substructural types
• Derivable type classes

This page was built for publication: Qualified Types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4856174)