Intersection types and overloading

zbMATH Open1079.68522MaRDI QIDQ3365481FDOQ3365481

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
• 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 (8)

• Type checking and problem of overloaded arguments
• Title not available (Why is that?)
• Explicit mathematics: power types and overloading
• Intersection types in Java: back to the future
• Title not available (Why is that?)
• Intersection and union types
• Superposition with datatypes and codatatypes
• 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)