课题基金 / 基金详情

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
海外基金