Tom Schrijvers

Latest

• Distributive Disjoint Polymorphism for Compositional Programming
• Consistent Subtyping for All
• The Essence of Nested Composition