Tony's Wiki

Tag: disjointness

13 items with this tag.

May 17, 2026
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈
May 17, 2026
A Case for First-Class Environments
May 17, 2026
Applicative Intersection Types
May 17, 2026
Dependent Merges and First-Class Environments
May 17, 2026
Direct Foundations for Compositional Programming
May 17, 2026
Disjoint Intersection Types
May 17, 2026
Disjoint Polymorphism
May 17, 2026
Distributive Disjoint Polymorphism for Compositional Programming
May 17, 2026
Liberating Merges via Apartness and Guarded Subtyping
May 17, 2026
Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations
May 17, 2026
Row and Bounded Polymorphism via Disjoint Polymorphism
May 17, 2026
Taming the Merge Operator
May 17, 2026
The Essence of Nested Composition

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community