Qualified Types

DOI10.1017/CBO9780511663086zbMath0841.68113OpenAlexW4252649616MaRDI QIDQ4856174

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

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

Related Items

Modular Inference of Linear Types for Multiplicity-Annotated Arrows ⋮ Indexed types ⋮ Unnamed Item ⋮ Disjoint Polymorphism ⋮ A language for generic programming in the large ⋮ Derivable Type Classes ⋮ A Type-Theoretic Approach to Resolution ⋮ Type-directed weaving of aspects for polymorphically typed functional languages ⋮ Proof Relevant Corecursive Resolution ⋮ COCHIS: Stable and coherent implicits ⋮ Meta-programming With Built-in Type Equality