Design and Implementation of Generics part 2

Question

In a very interesting paper Design and Implementation of Generics for the .NET Common Language Runtime by Andrew Kennedy and Don Syme, the authors claim that

Finally we note that polymorphic [meaning generic] virtual methods are altogether more challenging. […] We will discuss efficient solutions to […] these problems in a future paper.

Does that future paper exist? If yes, where can I get it?

Answer 1

Apparently, it's either Formalization of Generics for the .NET Common Language Runtime by Dachuan Yu, Andrew J. Kennedy, and Don Syme or Transposing F to C#: Expressivity of polymorphism in an object-oriented language by Don Syme and Andrew Kennedy.

But neither talks much about virtual generic methods.