阿尔伯特·梅耶 约翰·米切尔 尤金尼奥·莫吉 理查德·斯塔特曼 多形Lambda微积分中的空类型。 253-262 1987 conf/popl/1987 POPL公司 db/conf/popl/popl87.html#MeyerMMS87 https://doi.org/10.1145/41625.41648