Programming Language Foundations of Computation Theory

9619638拟议的研究重点是程序设计语言理论和语用学的算法方面，延续了首席调查员的研究议程。进一步研究的目标是对Lambda演算的最优评估领域，重点是相关的成本模型，共享簿记的必要性和可能的改进，以及线性逻辑和博弈学的应用。一个长期的目标是研究最优评估作为函数式编程的一种可能的实现技术。此外，还将继续研究基于程序类型的多态程序的参数化和推理的句法方法，固定秩类推理，作为捕获复杂类的场所的类型化的lambda演算，以及作为程序综合的一般技术的程序证明收缩的内涵性质。一些工作也将与课程开发相关，甚至在本科水平上也是如此。***

9619638 The research proposed focuses on algorithmic aspects of programming language theory and pragmatics, continuing the research agenda of the principal investigator. Further investigation is targeted on the area of optimal evaluation for lambda-calculus, concentrating on relevant cost models, the necessity of and possible improvements to bookkeeping for sharing, with applications to linear logic and game semantics. A long-range goal is to investigate optimal evaluation as a possible implementation technology for functional programming. In addition, work will be continued on syntactic approaches to parametricity and reasoning about polymorphic programs based on their types, on fixed-rank type inference, typed lambda-calculus as a venue for capturing complexity classes, and intensional properties of contraction of proofs to programs as a general technique for program synthesis. Some of the work will also be relevant to curriculum development, even at the undergraduate level. ***