刷新
{{item.name}}会员
The Semantics of Types and Polymorphism in Programming
编程中类型和多态性的语义
基本信息
- 批准号：8603890
- 负责人：
- 金额：$ 5.46万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1986
- 资助国家：美国
- 起止时间：1986-07-01 至 1988-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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
- 资助金额：
$ 5.46万 - 项目类别：
Continuing Grant
RUI: Modules and Parallel Specialization of Object Types
RUI：对象类型的模块和并行专业化
- 批准号：
0306486 - 财政年份：2003
- 资助金额：
$ 5.46万 - 项目类别：
Continuing Grant
Making Interaction Fundamental in Object-oriented CS1: Programming Tools and Curricular Materials to Support Concurrency and Event-driven Programming
让交互成为面向对象 CS1 的基础：支持并发和事件驱动编程的编程工具和课程材料
- 批准号：
0088895 - 财政年份：2001
- 资助金额：
$ 5.46万 - 项目类别：
Standard Grant
RUI: Design of Object-Oriented Programming Languages
RUI：面向对象编程语言的设计
- 批准号：
9988210 - 财政年份：2000
- 资助金额：
$ 5.46万 - 项目类别：
Standard Grant
RUI: Design of Object-Oriented Programming Languages
RUI：面向对象编程语言的设计
- 批准号：
9870253 - 财政年份：1998
- 资助金额：
$ 5.46万 - 项目类别：
Standard Grant
RUI: Semantics and Design of Object-Oriented Languages
RUI：面向对象语言的语义和设计
- 批准号：
9424123 - 财政年份：1995
- 资助金额：
$ 5.46万 - 项目类别：
Continuing Grant
Foundations of Object-Oriented Languages Workshop; June 24-26, l993; Williamstown, MA.
面向对象语言基础研讨会；
- 批准号：
9302344 - 财政年份：1993
- 资助金额：
$ 5.46万 - 项目类别：
Standard Grant
RUI: Semantics of Object-Oriented Languages
RUI：面向对象语言的语义
- 批准号：
9121778 - 财政年份：1992
- 资助金额：
$ 5.46万 - 项目类别：
Continuing Grant
Type Structures in Programming Languages
编程语言中的类型结构
- 批准号：
9105316 - 财政年份：1991
- 资助金额：
$ 5.46万 - 项目类别：
Standard Grant
RUI: Models of Typed and Untyped Lambda Calculus (Computer Research)
RUI：类型化和非类型化 Lambda 演算模型（计算机研究）
- 批准号：
8402700 - 财政年份：1984
- 资助金额：
$ 5.46万 - 项目类别：
Continuing Grant
相似国自然基金
相似海外基金
Are family firms in Japan resilient to economic shock? Digging further by family types, management strategies, and earnings quality.
日本的家族企业能否抵御经济冲击？
- 批准号：
24K00297 - 财政年份：2024
- 资助金额：
$ 5.46万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Computations of transcriptomic neuron types in cortex
皮层转录组神经元类型的计算
- 批准号：
EP/Y028295/1 - 财政年份：2024
- 资助金额：
$ 5.46万 - 项目类别：
Research Grant
ZooCELL: Tracing the evolution of sensory cell types in animal diversity: multidisciplinary training in 3D cellular reconstruction, multimodal data ..
ZooCELL：追踪动物多样性中感觉细胞类型的进化：3D 细胞重建、多模态数据方面的多学科培训..
- 批准号：
EP/Y037049/1 - 财政年份：2024
- 资助金额：
$ 5.46万 - 项目类别：
Research Grant
Tracing the evolution of sensory cell types in animal diversity: multidisciplinary training in 3D cellular reconstruction, multimodal data analysis
追踪动物多样性中感觉细胞类型的进化：3D 细胞重建、多模式数据分析的多学科培训
- 批准号：
EP/Y037081/1 - 财政年份：2024
- 资助金额：
$ 5.46万 - 项目类别：
Research Grant
Towards a Smart Digital Forensic Advisor to Support First Responders with At-Scene Triage of Digital Evidence Across Crime Types
打造智能数字取证顾问，支持急救人员对不同犯罪类型的数字证据进行现场分类
- 批准号：
ES/Y010647/1 - 财政年份：2024
- 资助金额：
$ 5.46万 - 项目类别：
Research Grant
Heat regulation by the fibre types in muscle
肌肉纤维类型的热量调节
- 批准号：
DP240101172 - 财政年份：2024
- 资助金额：
$ 5.46万 - 项目类别：
Discovery Projects
The interaction of concrete vs. abstract message types and time of day on prosocial behaviors.
具体与抽象消息类型以及一天中的时间对亲社会行为的相互作用。
- 批准号：
24K16470 - 财政年份：2024
- 资助金额：
$ 5.46万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Why do some types of biotic change produce predictable ecological, evolutionary and life history strategy change?
为什么某些类型的生物变化会产生可预测的生态、进化和生活史策略变化？
- 批准号：
EP/Y029720/1 - 财政年份：2024
- 资助金额：
$ 5.46万 - 项目类别：
Research Grant
Pediatric Hospitals as European drivers for multi-party computation and synthetic data generation capabilities across clinical specialties and data types
儿科医院是欧洲跨临床专业和数据类型多方计算和合成数据生成能力的推动者
- 批准号：
10103799 - 财政年份：2023
- 资助金额：
$ 5.46万 - 项目类别：
EU-Funded
Comprehensive Single Cell Optoporation for Diverse Types of Cells.
针对不同类型细胞的全面单细胞选择。
- 批准号：
23H00168 - 财政年份：2023
- 资助金额：
$ 5.46万 - 项目类别：
Grant-in-Aid for Scientific Research (A)