Elaborating intersection and union types

DOI10.1017/S0956796813000270zbMath1297.68049MaRDI QIDQ2875228

Joshua Dunfield

Publication date: 14 August 2014

Published in: Journal of Functional Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (7)

Nominal essential intersection types ⋮ Applicative intersection types ⋮ A calculus with recursive types, record concatenation and subtyping ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Taming the Merge Operator ⋮ Isomorphism of intersection and union types

Uses Software

• Forsythe

Cites Work

• Unnamed Item
• Unnamed Item
• Types with intersection: An introduction
• Principality and type inference for intersection types using expansion variables
• A calculus for overloaded functions with subtyping
• Intersection and union types: Syntax and semantics
• A filter lambda model and the completeness of type assignment
• An ideal model for recursive polymorphic types
• Functional Characters of Solvable Terms

This page was built for publication: Elaborating intersection and union types