权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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
关键词：
RUI Models Typed Untyped Lambda

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Kim Bruce其他文献

Measurement of segmental pulmonary blood flow velocity using a loop doppler catheter

DOI：
10.1016/0735-1097(90)92580-u
发表时间：
1990-02-01
期刊：
Conference abstract
影响因子：
作者：
Steven J. Bailin;Keith Wyche;Kim Bruce;Carl White;Robert F. Wilson
通讯作者：
Robert F. Wilson

Kim Bruce的其他文献

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

立即体验

{{ truncateString('Kim Bruce', 18)}}的其他基金

RUI: Modules and Parallel Specialization of Object Types

RUI：对象类型的模块和并行专业化

批准号：
0632458
财政年份：
2006
资助金额：
$ 4.75万
项目类别：
Continuing Grant

RUI: Modules and Parallel Specialization of Object Types

RUI：对象类型的模块和并行专业化

批准号：
0306486
财政年份：
2003
资助金额：
$ 4.75万
项目类别：
Continuing Grant

Making Interaction Fundamental in Object-oriented CS1: Programming Tools and Curricular Materials to Support Concurrency and Event-driven Programming

让交互成为面向对象 CS1 的基础：支持并发和事件驱动编程的编程工具和课程材料

批准号：
0088895
财政年份：
2001
资助金额：
$ 4.75万
项目类别：
Standard Grant

RUI: Design of Object-Oriented Programming Languages

RUI：面向对象编程语言的设计

批准号：
9988210
财政年份：
2000
资助金额：
$ 4.75万
项目类别：
Standard Grant

RUI: Design of Object-Oriented Programming Languages

RUI：面向对象编程语言的设计

批准号：
9870253
财政年份：
1998
资助金额：
$ 4.75万
项目类别：
Standard Grant

RUI: Semantics and Design of Object-Oriented Languages

RUI：面向对象语言的语义和设计

批准号：
9424123
财政年份：
1995
资助金额：
$ 4.75万
项目类别：
Continuing Grant

Foundations of Object-Oriented Languages Workshop; June 24-26, l993; Williamstown, MA.

面向对象语言基础研讨会；

批准号：
9302344
财政年份：
1993
资助金额：
$ 4.75万
项目类别：
Standard Grant

RUI: Semantics of Object-Oriented Languages

RUI：面向对象语言的语义

批准号：
9121778
财政年份：
1992
资助金额：
$ 4.75万
项目类别：
Continuing Grant

Type Structures in Programming Languages

编程语言中的类型结构

批准号：
9105316
财政年份：
1991
资助金额：
$ 4.75万
项目类别：
Standard Grant

The Semantics of Types and Polymorphism in Programming

编程中类型和多态性的语义

批准号：
8603890
财政年份：
1986
资助金额：
$ 4.75万
项目类别：
Standard Grant

相似国自然基金

Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis

批准号：
批准年份：
2024
资助金额：
万元
项目类别：
合作创新研究团队

新型手性NAD(P)H Models合成及生化模拟

批准号：
20472090
批准年份：
2004
资助金额：
23.0 万元
项目类别：
面上项目

相似海外基金

CAREER: Balancing the global alkalinity cycle by improving models of river chemistry

职业：通过改进河流化学模型平衡全球碱度循环

批准号：
2338139
财政年份：
2025
资助金额：
$ 4.75万
项目类别：
Continuing Grant

Developing eye models to improve eye treatments and contact/intraocular lens technologies

开发眼部模型以改善眼部治疗和隐形眼镜/人工晶状体技术

批准号：
2608661
财政年份：
2025
资助金额：
$ 4.75万
项目类别：
Studentship

New approaches to training deep probabilistic models

训练深度概率模型的新方法

批准号：
2613115
财政年份：
2025
资助金额：
$ 4.75万
项目类别：
Studentship

CAREER: Game Theoretic Models for Robust Cyber-Physical Interactions: Inference and Design under Uncertainty

职业：稳健的网络物理交互的博弈论模型：不确定性下的推理和设计

批准号：
2336840
财政年份：
2024
资助金额：
$ 4.75万
项目类别：
Continuing Grant

Collaborative Research: Constraining next generation Cascadia earthquake and tsunami hazard scenarios through integration of high-resolution field data and geophysical models

合作研究：通过集成高分辨率现场数据和地球物理模型来限制下一代卡斯卡迪亚地震和海啸灾害情景

批准号：
2325311
财政年份：
2024
资助金额：
$ 4.75万
项目类别：
Standard Grant

Collaborative Research: BoCP-Implementation: Testing Evolutionary Models of Biotic Survival and Recovery from the Permo-Triassic Mass Extinction and Climate Crisis

合作研究：BoCP-实施：测试二叠纪-三叠纪大规模灭绝和气候危机中生物生存和恢复的进化模型

批准号：
2325380
财政年份：
2024
资助金额：
$ 4.75万
项目类别：
Standard Grant

RII Track-4: NSF: Developing 3D Models of Live-Endothelial Cell Dynamics with Application Appropriate Validation

RII Track-4：NSF：开发活内皮细胞动力学的 3D 模型并进行适当的应用验证

批准号：
2327466
财政年份：
2024
资助金额：
$ 4.75万
项目类别：
Standard Grant

Collaborative Research: Conference: Large Language Models for Biological Discoveries (LLMs4Bio)

合作研究：会议：生物发现的大型语言模型 (LLMs4Bio)

批准号：
2411529
财政年份：
2024
资助金额：
$ 4.75万
项目类别：
Standard Grant