Intersection types and overloading

MaRDI QIDQ3365481zbMATH OpenFDO

Authors Dimitar Birov

Publication date 23 January 2006

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Elaborating intersection and union types
• Elaborating intersection and union types
• A tale of intersection types
• scientific article; zbMATH DE number 954811
• Intersection types and computational effects

Cited in

(15)

• Superposition with datatypes and codatatypes
• Type checking and problem of overloaded arguments
• Elaborating intersection and union types
• Intersection types and computational effects
• scientific article; zbMATH DE number 954811 (Why is no real title available?)
• scientific article; zbMATH DE number 512791 (Why is no real title available?)
• Annotations for intersection typechecking
• scientific article; zbMATH DE number 7526056 (Why is no real title available?)
• Intersection and union types
• Elaborating intersection and union types
• scientific article; zbMATH DE number 6744146 (Why is no real title available?)
• General Homomorphic Overloading
• Explicit mathematics: power types and overloading
• Intersection types in Java: back to the future
• Applicative intersection types

This page was built for publication: Intersection types and overloading

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