Type-Safe Compilation of Covariant Specialization: A Practical Case
No abstract available.
Related papers
- Covariance and Contravariance: Conflict without a Cause TOPLAS 1995
- Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System OOPSLA 1998
- Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems ECOOP 2021
- Parasitic Methods: An Implementation of Multi-Methods for Java OOPSLA 1997
- Automatic discovery of covariant read-only fields TOPLAS 2005
- Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming JFP 2004
- Static stages for heterogeneous programming OOPSLA 2017
- Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl) ECOOP 2019