关于语言类型的定义的论文,专门研究编程语言的不同类型系统。该篇论文第一次比较清晰的给出了各种数据类型的定义,科学且严谨,对于想深入去理解语言类型的定义可以看看这篇论文。