刷新
{{item.name}}会员
The Pragmatics of Final Data Type Specifications
最终数据类型规范的语用学
基本信息
- 批准号：8110087
- 负责人：
- 金额：$ 17.07万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1981
- 资助国家：美国
- 起止时间：1981-06-15 至 1985-05-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 }}
Samuel Kamin其他文献
The expressive theory of stacks
- DOI：
10.1007/bf00282622 - 发表时间：
1987-11-01 - 期刊：
- 影响因子：0.500
- 作者：
Samuel Kamin - 通讯作者：
Samuel Kamin
Samuel Kamin的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Samuel Kamin', 18)}}的其他基金
Collaborative Research: BPC-A: Improving Metropolitan Participation to Accelerate Computing Throughput and Success
协作研究：BPC-A：提高大都市的参与度以加速计算吞吐量和成功
- 批准号：
0837636 - 财政年份：2008
- 资助金额：
$ 17.07万 - 项目类别：
Standard Grant
Collaborative Research: ITWF: Building Communities: Recruiting and Retention of Underrepresented Groups in Computer Science
合作研究：ITWF：建设社区：计算机科学领域代表性不足群体的招募和保留
- 批准号：
0420505 - 财政年份：2004
- 资助金额：
$ 17.07万 - 项目类别：
Continuing Grant
Run-time Code Generation for the Masses
面向大众的运行时代码生成
- 批准号：
0306221 - 财政年份：2003
- 资助金额：
$ 17.07万 - 项目类别：
Standard Grant
Technologies for Lightweight, Generative, Binary Software Components
轻量级、生成式、二进制软件组件技术
- 批准号：
9988307 - 财政年份：2000
- 资助金额：
$ 17.07万 - 项目类别：
Standard Grant
Parametricity, Abstraction and Objects
参数化、抽象和对象
- 批准号：
9804087 - 财政年份：1998
- 资助金额：
$ 17.07万 - 项目类别：
Standard Grant
Workshop on Future Directions in Programming Languages and Compilers; Charleston, S.C.; January 13-14, 1993
编程语言和编译器未来方向研讨会；
- 批准号：
9304990 - 财政年份：1993
- 资助金额：
$ 17.07万 - 项目类别：
Standard Grant
Functional Programming and Scientific Computing
函数式编程和科学计算
- 批准号：
9303043 - 财政年份：1993
- 资助金额：
$ 17.07万 - 项目类别：
Continuing Grant
Design and Optimization Problems in Relational Database Theory
关系数据库理论中的设计和优化问题
- 批准号：
8003308 - 财政年份：1980
- 资助金额：
$ 17.07万 - 项目类别：
Standard Grant
相似海外基金
Searching for electroweak SUSY production using proton-proton collision data from the ATLAS detector with a final state of 2 t leptons decaying lepton
使用来自 ATLAS 探测器的质子-质子碰撞数据搜索电弱 SUSY 产生，最终状态为 2 t 轻子衰变轻子
- 批准号：
2745961 - 财政年份：2023
- 资助金额：
$ 17.07万 - 项目类别：
Studentship
NEW SCIENCE IN RADIO ASTRONOMY: APPLYING CUTTING-EDGE TECHNOLOGY TO ENHANCE THE ENTIRE DATA CHAIN, FROM RECEIVER TO FINAL OUTPUT (RADIOBLOCKS)
射电天文学的新科学：应用尖端技术增强从接收器到最终输出（无线电块）的整个数据链
- 批准号：
10051844 - 财政年份：2023
- 资助金额：
$ 17.07万 - 项目类别：
EU-Funded
New science in Radio Astronomy: applying cutting-edge technology to enhance the entire data chain, from receiver to final output
射电天文学新科学：应用尖端技术增强从接收器到最终输出的整个数据链
- 批准号：
10052076 - 财政年份：2023
- 资助金额：
$ 17.07万 - 项目类别：
EU-Funded
Exploring the origin of cosmic acceleration using the final data from Subaru HSC
使用斯巴鲁 HSC 的最终数据探索宇宙加速的起源
- 批准号：
20H01932 - 财政年份：2020
- 资助金额：
$ 17.07万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Final stages of breakup and early spreading history of the Eastern North America passive margin from multichannel seismic data
多道地震数据显示北美东部被动边缘破裂的最后阶段和早期扩张历史
- 批准号：
1551807 - 财政年份：2016
- 资助金额：
$ 17.07万 - 项目类别：
Standard Grant
SNO+ Final Construction, Commissioning and First Data
SNO 最终建设、调试和第一数据
- 批准号：
219858-2013 - 财政年份：2014
- 资助金额：
$ 17.07万 - 项目类别：
Subatomic Physics Envelope - Project
SNO+ Final Construction, Commissioning and First Data (Applicant: M. Chen)
SNO最终建设、调试和第一批数据（申请人：M. Chen）
- 批准号：
364926-2013 - 财政年份：2014
- 资助金额：
$ 17.07万 - 项目类别：
Subatomic Physics Envelope - Project
SNO+ Final Construction, Commisstioning and First Data (Applicant: M. Chen)
SNO最终建设、调试和第一批数据（申请人：M. Chen）
- 批准号：
396436-2013 - 财政年份：2014
- 资助金额：
$ 17.07万 - 项目类别：
Subatomic Physics Envelope - Project
SNO+ Final Construction, Commissioning and First Data (Applicant: M. Chen)
SNO最终建设、调试和第一批数据（申请人：M. Chen）
- 批准号：
396435-2013 - 财政年份：2014
- 资助金额：
$ 17.07万 - 项目类别：
Subatomic Physics Envelope - Project
SNO+ Final Construction, Commisstioning and First Data (Applicant: M. Chen)
SNO最终建设、调试和第一批数据（申请人：M. Chen）
- 批准号：
396436-2013 - 财政年份：2013
- 资助金额：
$ 17.07万 - 项目类别：
Subatomic Physics Envelope - Project