摘要
一、前言关于多态性概念的论述最早见于文[5]在文[4]中,R.Milner具体地提出了多态类型原则和自动类型检查算法ω.80年人们在ML语言中实现了多态类型的思想。
This paper presents a detailed discussion on the concept of the polymorphism and an analysis on the polymorphically typed system using type abstraction method.
出处
《计算机科学》
CSCD
北大核心
1994年第1期19-22,共4页
Computer Science
