Intersection types and overloading

zbMATH Open1079.68522MaRDI QIDQ3365481FDOQ3365481

Authors: Dimitar Birov 

Publication date: 23 January 2006

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

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)

Cited In (14)

• Type checking and problem of overloaded arguments
• Title not available (Why is that?)
• Intersection types and computational effects
• Explicit mathematics: power types and overloading
• Intersection types in Java: back to the future
• Elaborating intersection and union types
• Title not available (Why is that?)
• Intersection and union types
• Superposition with datatypes and codatatypes
• Elaborating intersection and union types
• Applicative intersection types
• Annotations for intersection typechecking
• General Homomorphic Overloading
• Title not available (Why is that?)

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)