课题基金 / 基金详情

RUI: Models of Typed and Untyped Lambda Calculus (Computer Research)

RUI: Models of Typed and Untyped Lambda Calculus (Computer Research)
RUI：类型化和非类型化 Lambda 演算模型（计算机研究）
批准号：
8402700
负责人：
Kim Bruce
金额：
$4.75万
依托单位：
Williams College
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1984
资助国家：
美国
项目状态：
已结题
起止时间：
1984-07-01 至 1986-12-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8402700&HistoricalAwards=false
关键词：
RUIModelsTypedUntypedLambda

项目摘要

项目成果

Kim Bruce的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
RUI: Modules and Parallel Specialization of Object Types
  • 批准号：
    0632458
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $13.07万
  • 财政年份：
    2006
  • 负责人：
    Kim Bruce
  • 依托单位：
    Pomona College
RUI: Modules and Parallel Specialization of Object Types
  • 批准号：
    0306486
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $20.69万
  • 财政年份：
    2003
  • 负责人：
    Kim Bruce
  • 依托单位：
    Williams College
Making Interaction Fundamental in Object-oriented CS1: Programming Tools and Curricular Materials to Support Concurrency and Event-driven Programming
  • 批准号：
    0088895
  • 项目类别：
    Standard Grant
  • 资助金额：
    $28.79万
  • 财政年份：
    2001
  • 负责人：
    Kim Bruce
  • 依托单位：
    Williams College
RUI: Design of Object-Oriented Programming Languages
  • 批准号：
    9988210
  • 项目类别：
    Standard Grant
  • 资助金额：
    $10.4万
  • 财政年份：
    2000
  • 负责人：
    Kim Bruce
  • 依托单位：
    Williams College
国内基金
海外基金
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
新型手性NAD(P)H Models合成及生化模拟