刷新
{{item.name}}会员
Type Structures in Programming Languages
编程语言中的类型结构
基本信息
- 批准号：9105316
- 负责人：
- 金额：$ 2.06万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1991
- 资助国家：美国
- 起止时间：1991-03-15 至 1992-04-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
This award enables the Principal Investigator to work with several researchers in the Palo Alto area, including John Mitchell at Stanford, Luca Cardelli and others at the Digital Equipment Research Center, Walter Hill at Hewlett Packard Laboratories and William Cook at Apple Computer. The intent is to initiate and pursue new research activities revolving around the design and semantics of object- oriented languages. The activity is expected to have a significant impact on the author's research at Williams College and on his role in the honors program there.
该奖项使主要研究人员能够与几个 研究人员在帕洛阿尔托地区，包括约翰米切尔在 斯坦福大学、Luca Cardelli和数字设备研究中心的其他人 中心，惠普实验室的沃尔特·希尔和威廉·库克 在苹果电脑。 其目的是发起和追求新的研究 围绕对象的设计和语义的活动- 面向语言 预计该活动将产生重大影响。 对作者在威廉姆斯学院的研究和他在 那里的荣誉课程
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ 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 - 期刊：
- 影响因子：
- 作者：
Steven J. Bailin;Keith Wyche;Kim Bruce;Carl White;Robert F. Wilson - 通讯作者：
Robert F. Wilson
Kim Bruce的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Kim Bruce', 18)}}的其他基金
RUI: Modules and Parallel Specialization of Object Types
RUI：对象类型的模块和并行专业化
- 批准号：
0632458 - 财政年份：2006
- 资助金额：
$ 2.06万 - 项目类别：
Continuing Grant
RUI: Modules and Parallel Specialization of Object Types
RUI：对象类型的模块和并行专业化
- 批准号：
0306486 - 财政年份：2003
- 资助金额：
$ 2.06万 - 项目类别：
Continuing Grant
Making Interaction Fundamental in Object-oriented CS1: Programming Tools and Curricular Materials to Support Concurrency and Event-driven Programming
让交互成为面向对象 CS1 的基础：支持并发和事件驱动编程的编程工具和课程材料
- 批准号：
0088895 - 财政年份：2001
- 资助金额：
$ 2.06万 - 项目类别：
Standard Grant
RUI: Design of Object-Oriented Programming Languages
RUI：面向对象编程语言的设计
- 批准号：
9988210 - 财政年份：2000
- 资助金额：
$ 2.06万 - 项目类别：
Standard Grant
RUI: Design of Object-Oriented Programming Languages
RUI：面向对象编程语言的设计
- 批准号：
9870253 - 财政年份：1998
- 资助金额：
$ 2.06万 - 项目类别：
Standard Grant
RUI: Semantics and Design of Object-Oriented Languages
RUI：面向对象语言的语义和设计
- 批准号：
9424123 - 财政年份：1995
- 资助金额：
$ 2.06万 - 项目类别：
Continuing Grant
Foundations of Object-Oriented Languages Workshop; June 24-26, l993; Williamstown, MA.
面向对象语言基础研讨会；
- 批准号：
9302344 - 财政年份：1993
- 资助金额：
$ 2.06万 - 项目类别：
Standard Grant
RUI: Semantics of Object-Oriented Languages
RUI：面向对象语言的语义
- 批准号：
9121778 - 财政年份：1992
- 资助金额：
$ 2.06万 - 项目类别：
Continuing Grant
The Semantics of Types and Polymorphism in Programming
编程中类型和多态性的语义
- 批准号：
8603890 - 财政年份：1986
- 资助金额：
$ 2.06万 - 项目类别：
Standard Grant
RUI: Models of Typed and Untyped Lambda Calculus (Computer Research)
RUI：类型化和非类型化 Lambda 演算模型（计算机研究）
- 批准号：
8402700 - 财政年份：1984
- 资助金额：
$ 2.06万 - 项目类别：
Continuing Grant
相似海外基金
Exploiting the Combinatorial Structures Found in Constraint Programming Models as Multivariate Distributions
利用约束规划模型中的组合结构作为多元分布
- 批准号：
RGPIN-2017-05783 - 财政年份：2022
- 资助金额：
$ 2.06万 - 项目类别：
Discovery Grants Program - Individual
CAREER: Programming Multi-functional Responses into Civil Structures via Topology Optimization
职业：通过拓扑优化将多功能响应编程到土木结构中
- 批准号：
2047692 - 财政年份：2021
- 资助金额：
$ 2.06万 - 项目类别：
Standard Grant
Exploiting the Combinatorial Structures Found in Constraint Programming Models as Multivariate Distributions
利用约束规划模型中的组合结构作为多元分布
- 批准号：
RGPIN-2017-05783 - 财政年份：2021
- 资助金额：
$ 2.06万 - 项目类别：
Discovery Grants Program - Individual
Exploiting the Combinatorial Structures Found in Constraint Programming Models as Multivariate Distributions
利用约束规划模型中的组合结构作为多元分布
- 批准号：
RGPIN-2017-05783 - 财政年份：2020
- 资助金额：
$ 2.06万 - 项目类别：
Discovery Grants Program - Individual
Exploiting the Combinatorial Structures Found in Constraint Programming Models as Multivariate Distributions
利用约束规划模型中的组合结构作为多元分布
- 批准号：
RGPIN-2017-05783 - 财政年份：2019
- 资助金额：
$ 2.06万 - 项目类别：
Discovery Grants Program - Individual
Exploiting the Combinatorial Structures Found in Constraint Programming Models as Multivariate Distributions
利用约束规划模型中的组合结构作为多元分布
- 批准号：
RGPIN-2017-05783 - 财政年份：2018
- 资助金额：
$ 2.06万 - 项目类别：
Discovery Grants Program - Individual
Exploiting the Combinatorial Structures Found in Constraint Programming Models as Multivariate Distributions
利用约束规划模型中的组合结构作为多元分布
- 批准号：
RGPIN-2017-05783 - 财政年份：2017
- 资助金额：
$ 2.06万 - 项目类别：
Discovery Grants Program - Individual
Pushing the Frontier with Dependently Typed Programming in High-Level Structures
通过高级结构中的依赖类型编程推动前沿
- 批准号：
262144-2012 - 财政年份：2016
- 资助金额：
$ 2.06万 - 项目类别：
Discovery Grants Program - Individual
Pushing the Frontier with Dependently Typed Programming in High-Level Structures
通过高级结构中的依赖类型编程推动前沿
- 批准号：
262144-2012 - 财政年份：2015
- 资助金额：
$ 2.06万 - 项目类别：
Discovery Grants Program - Individual
New Adaptive Dynamic Programming Structures From Neurocognitive Psychology and Graphical Games
来自神经认知心理学和图形游戏的新自适应动态编程结构
- 批准号：
1405173 - 财政年份：2014
- 资助金额：
$ 2.06万 - 项目类别：
Standard Grant