scientific article; zbMATH DE number 512791

MaRDI QIDQ4281484zbMATH OpenFDO

Authors Benjamin C. Pierce

Publication date 10 March 1994

zbMATH Keywords

bounded quantificationintersection typessubtypingtypecheckingtyped \(\lambda\)-calculustyped programming language

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Theory of programming languages (68N15) Parallel algorithms in computer science (68W10)

Recommendations

• Intersection types and bounded polymorphism
• Intersection types and computational effects
• A tale of intersection types
• Intersection types and overloading
• Intersection, Universally Quantified, and Reference Types

Cited in

(18)

• Recasting ML\(^{\text F}\)
• Intersection type assignment systems
• Higher-order subtyping
• Basic theory of F-bounded quantification.
• Polar type inference with intersection types and
• Intersection types and computational effects
• On isomorphisms of intersection types
• On Isomorphisms of Intersection Types
• Intersection, Universally Quantified, and Reference Types
• scientific article; zbMATH DE number 954811 (Why is no real title available?)
• Intersection types and bounded polymorphism
• scientific article; zbMATH DE number 1929308 (Why is no real title available?)
• Annotations for intersection typechecking
• scientific article; zbMATH DE number 7377974 (Why is no real title available?)
• Intersection types for unboundedness problems
• scientific article; zbMATH DE number 7526056 (Why is no real title available?)
• Intersection types in Java: back to the future
• A typed lambda calculus with intersection types

This page was built for publication:

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