Intersection types and overloading

MaRDI QIDQ3365481zbMATH OpenFDO

Authors Dimitar Birov

Publication date 23 January 2006

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) 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

(14)

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

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)