Research on Programming Language Design Theory Based on Type Theory

点击翻译按钮获取中文摘要

The purpose of this research is to develop a type theoretical foundation for designing a robust programming language that can be used for advanced software development. More specific goal of this research is to develop a foundation for compiling polymorphic programming language that support flexible record operations and the features of parallel and distributed processing.In the second year of this research, we have successfully completed one of the goal of a compilation theory for a polymorphic record calculus, and the result is published as an articleentitled "A Polymorphic Record Calculus and its Compilation" by A.Ohori in the November 1995 issue of ACM Transactions on Programming Languages and Systems. We have also developed a theory for efficient implementation of a polymorphic function, whose result is reported as an article "An Unboxed Semantics for ML Polymorphism" by A.Ohori and T.Takamizawa, which is submitted for publication.We believe that these results enables us to construct a practical compiler for a polymorphic language, and therefore that we have achieved the goal set for this research project. Jointly with Oki Electric Industry, co.Ltd, we are currently planing a two year compiler construction project based on the results obtained by this research.