Diseño e implementación de los genéricos parte 2

Question

En un artículo muy interesante Design and Implementation of Generics for the .NET Common Language Runtime por Andrew Kennedy y Don Syme, los autores afirman que

Finalmente observamos que [significado genérico] métodos virtuales polimórficos son del todo más difícil. [...] Hablaremos de soluciones eficientes a [...] estos problemas en un documento futuro.

¿Existe ese documento futuro? Si es así, ¿dónde puedo obtenerlo?

Answer 1

Aparentemente, es Formalization of Generics for the .NET Common Language Runtime por Dachuan Yu, Andrew J. Kennedy, y Don Syme o Transposing F to C#: Expressivity of polymorphism in an object-oriented language por Don Syme y Andrew Kennedy.

Pero ninguno de los dos habla mucho sobre los métodos genéricos virtuales.