Polymorphism, Types and Higher-Order Procedures, in Programming Languages

编程语言中的多态性、类型和高阶过程

• 批准号: 8901647
• 负责人: Assaf Kfoury
• 金额: $ 28.48万
• 依托单位: Trustees of Boston University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-06-01 至 1992-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8901647&HistoricalAwards=false
• 关键词: Polymorphism; Types; Higher; Order; Procedures

Three general classes of problems will be investigated, as a guide to programming language design and implementations: (1) typically in polymorphic functional languages as well as in restricted versions of the second-order -calculus, (2) comparing and calibrating the computational power of higher-order programming features (polymorphic or not), and (3) transaction of higher-order programming features into others (polymorphic or not). Principal topics include: generalized type structures, especially polymorphism; automatic type reconstruction and its relation to generalized forms of unification; decision procedures, and evaluation strategies for imperative languages with higher-order procedures.

三个一般类的问题将被调查，作为指导， 编程语言设计和实现：（1）通常在 多态函数式语言以及 二阶微积分，（2）比较和校准 高阶编程特征的计算能力（多态 或不），以及（3）将高阶编程特征事务处理成 其他（多态或非多态）。 主要议题包括： 类型结构，特别是多态性;自动类型重构 及其与统一的广义形式的关系;决定 过程，以及命令式语言的评估策略， 高阶程序。