Types as parameters

DOI10.1007/3-540-56610-4_96MaRDI QIDQ5044771zbMATH OpenOpenAlexFDO

Authors

Publication date 2 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56610-4_96

Mathematics Subject Classification ID

Type theory (03B38) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2086242
• scientific article; zbMATH DE number 742721
• Parametricity and dependent types
• Parametricity for primitive nested types
• Type-checking multi-parameter type classes
• Type structures
• Type inference for variant object types
• Parameter-free polymorphic types
• scientific article; zbMATH DE number 4058828
• Type inference with partial types

Cites work

• A semantic basis for Quest
• A theory of type polymorphism in programming
• An extension of system \(F\) with subtyping
• Automatic synthesis of typed -programs on term algebras
• Categorical data types in parametric polymorphism
• Functorial polymorphism
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• Polymorphic type inference and containment
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Types, abstraction, and parametric polymorphism, part 2

Cited in

(1)

• Do we need dependent types?

Describes a project that uses

Uses Software

• ML

This page was built for publication: Types as parameters

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