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

Question

在一篇非常有趣的论文中,由Andrew Kennedy和Don Syme撰写的.NET公共语言运行时泛型设计与实现,作者声称

最后,我们注意到多态[意为通用]虚拟方法完全更具挑战性.[...]我们将在以后的论文中讨论解决这些问题的有效方法.

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

Answer 1

显然，它要么是Dachuan Yu、Andrew J. Kennedy 和 Don Syme 的《.NET 公共语言运行时泛型的形式化》，要么是 Don Syme 和 Andrew Kennedy 的《Transpose F to C#: Expressivity of Polymorphism in an object-oriental language》。

但两者都没有过多谈论虚拟泛型方法。