wadler

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