重访数据抽象（On Understanding Data Abstraction, Revisited） 摘要：我的导师Luca Cardelli和Peter Wegner曾经于1985年在ACM Computing Surveys上发表过一篇名为“理解类型、数据抽象和多态”的文章。这篇论文引发了对于面向对象编程中语意和类型理论的诸多研究，且一直持续到今天。尽管经过了长达25年的研究，但是对于数据抽象... 2023-06-13 对象类抽象数据类型ADT文章课设毕设论文
