Variance and Generalized Constraints for C# Generics
No abstract available.
Related papers
- GADTs Meet Subtyping ESOP 2013
- Determining Average Program Execution Times and their Variance PLDI 1989
- Study of the subtyping machine of nominal subtyping with variance OOPSLA 2021
- Quantifying and reducing execution variance in STM via model driven commit optimization PPoPP 2018
- Quantifying and Reducing Execution Variance in STM via Model Driven Commit Optimization CGO 2019
- A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning OOPSLA 2022
- Mora - Automatic Generation of Moment-Based Invariants TACAS 2020
- Variant parametric types: A flexible subtyping scheme for generics TOPLAS 2006