Bruno C. d. S. Oliveira

Latest

• Distributive Disjoint Polymorphism for Compositional Programming
• Consistent Subtyping for All
• The Essence of Nested Composition
• Typed First-Class Traits
• Consistent Subtyping for All
• Unified Syntax with Iso-Types
• Memory-efficient Tail Calls in the JVM with Imperative Functional Objects