Untangling typechecking of intersections and unions

MaRDI QIDQ4964692zbMATH OpenFDO

Authors Joshua Dunfield

Publication date 3 March 2021

Full work available at URL https://arxiv.org/abs/1101.4428, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ITRS2010.5

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1956517
• Intersection and union types: Syntax and semantics
• Elaborating intersection and union types
• Elaborating intersection and union types
• The duality of classical intersection and union types

Cited in

(7)

• Mechanisms for improved covariant type-checking
• Implementing compositional analysis using intersection types with expansion variables
• Elaborating intersection and union types
• Sound and complete flow typing with unions, intersections and negations
• scientific article; zbMATH DE number 1479640 (Why is no real title available?)
• Elaborating intersection and union types
• On the runtime complexity of type-directed unboxing

This page was built for publication: Untangling typechecking of intersections and unions

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