泛型的设计与实现第2部分

Question

在Andrew Kennedy和Don Syme的一篇非常有趣的论文Design and Implementation of Generics for the .NET Common Language Runtime中，作者声称

  

最后，我们注意到多态[意为通用]虚拟方法是完全一样的   更具挑战性。 […] 我们会讨论   在未来的论文中有效解决这些问题。

未来的论文是否存在？如果是的话，我在哪里可以得到它？

Answer 1

显然，这是由Dachuan Yu，Andrew J. Kennedy和Don Syme Formalization of Generics for the .NET Common Language Runtime或Don Syme和Andrew Kennedy的Transposing F to C#: Expressivity of polymorphism in an object-oriented language。

但两者都没有谈到虚拟通用方法。