wadler

我们描述了一个围棋中泛型的设计，灵感来自于Igarashi、Piels和Wadler之前关于Featherweight Java的工作。而Java中的子类型是名义上的.