课题基金 / 基金详情

The Design, Definition, and Implementation of Programming Languages

The Design, Definition, and Implementation of Programming Languages
编程语言的设计、定义和实现
批准号：
8922109
负责人：
John Reynolds
金额：
$26.84万
依托单位：
Carnegie-Mellon University
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1990
资助国家：
美国
项目状态：
已结题
起止时间：
1990-06-15 至 1993-11-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8922109&HistoricalAwards=false
关键词：
DesignDefinitionImplementationProgrammingLanguages

项目摘要

项目成果

John Reynolds的其他基金

相似基金

相关文献

中文摘要
翻译
将对设计、定义和 编程语言的实现，重点是类型 系统. 具体的主题包括本体论的连贯性 定义，多态函数的参数性的含义， 以及多态类型和交集类型的统一。
英文摘要
Research will be carried out on the design, definition, and implementation of programming languages, with emphasis on type systems. Specific topics include the coherence of ontological definitions, the meaning of parametricity for polymorphic functions, and the unification of polymorphic and intersection types.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Specification, Verification, and Semantics of Higher-Order and Concurrent Software
  • 批准号：
    0916808
  • 项目类别：
    Standard Grant
  • 资助金额：
    $48.71万
  • 财政年份：
    2009
  • 负责人：
    John Reynolds
  • 依托单位：
    Carnegie-Mellon University
Reasoning about Data Structures, Concurrency, and Resources
  • 批准号：
    0541021
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $0.0万
  • 财政年份：
    2006
  • 负责人：
    John Reynolds
  • 依托单位：
    Carnegie-Mellon University
US-France Cooperative Research: Controlled Optoelectronic Properties of Hybrid Dioxythiophene Polymers
  • 批准号：
    0339735
  • 项目类别：
    Standard Grant
  • 资助金额：
    $1.8万
  • 财政年份：
    2004
  • 负责人：
    John Reynolds
  • 依托单位：
    University of Florida
Reasoning About Low-Level Programming
  • 批准号：
    0204242
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $30.0万
  • 财政年份：
    2002
  • 负责人：
    John Reynolds
  • 依托单位：
    Carnegie-Mellon University
海外基金