TypeSystems论文

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