Tony's Wiki

❯

❯

Recursive Types

❯

ISO recursive Subtyping

❯

❯

HKU PL Group Papers

Folder: 10-Projects/Recursive-Types/ISO-recursive-Subtyping/Literature/HKU-PL-Group-Papers

30 items under this folder.

May 17, 2026
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈
May 17, 2026
A Calculus with Recursive Types, Record Concatenation and Subtyping
May 17, 2026
A Case for First-Class Environments
May 17, 2026
Applicative Intersection Types
May 17, 2026
Compositional Embeddings of Domain-Specific Languages
May 17, 2026
Compositional Programming
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 with Intersection and Union Types
May 17, 2026
Disjoint Polymorphism
May 17, 2026
Distributing Intersection and Union Types with Splits and Duality (Functional Pearl)
May 17, 2026
Distributive Disjoint Polymorphism for Compositional Programming
May 17, 2026
Full Iso-Recursive Types
May 17, 2026
HKU PL Group Papers - Index
May 17, 2026
Imperative 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
Named Arguments as Intersections, Optional Arguments as Unions
May 17, 2026
QuickSub: Efficient Iso-Recursive Subtyping
May 17, 2026
Recursive Subtyping for All
May 17, 2026
Revisiting Iso-Recursive Subtyping
May 17, 2026
Row and Bounded Polymorphism via Disjoint Polymorphism
May 17, 2026
Shallow EDSLs and Object-Oriented Programming
May 17, 2026
Taming the Merge Operator
May 17, 2026
The Duality of Subtyping
May 17, 2026
The Essence of Nested Composition
May 17, 2026
Type-Safe Compilation of Dynamic Inheritance via Merging
May 17, 2026
Typed First-Class Traits
May 17, 2026
Union Types with Disjoint Switches

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community