基于类型化理论及其简单类型演算的研究

Study on the Typological Theory and Its Simple Calculus Classes

主要讨论了类型化理论及其在面向对象语言中的重要作用 。

This paper discusses typological theory and its important role in target-oriented language.This is of singnificant reference value to the deeper understanding of the concepts of the target-oriented language and the developing skill of new generation software.