The Pragmatics of Final Data Type Specifications
The Pragmatics of Final Data Type Specifications
批准号:
8110087
负责人:
Samuel Kamin
金额:
$17.07万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1981
资助国家:
美国
项目状态:
已结题
起止时间:
1981-06-15 至 1985-05-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: BPC-A: Improving Metropolitan Participation to Accelerate Computing Throughput and Success
-
批准号:0837636
-
项目类别:Standard Grant
-
资助金额:$5.84万
-
财政年份:2008
-
负责人:Samuel Kamin
-
依托单位:
Collaborative Research: ITWF: Building Communities: Recruiting and Retention of Underrepresented Groups in Computer Science
-
批准号:0420505
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Samuel Kamin
-
依托单位:
Run-time Code Generation for the Masses
-
批准号:0306221
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2003
-
负责人:Samuel Kamin
-
依托单位:
Technologies for Lightweight, Generative, Binary Software Components
-
批准号:9988307
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2000
-
负责人:Samuel Kamin
-
依托单位:
Parametricity, Abstraction and Objects
-
批准号:9804087
-
项目类别:Standard Grant
-
资助金额:$15.5万
-
财政年份:1998
-
负责人:Samuel Kamin
-
依托单位:
Termination of Rewrite Systems
-
批准号:9700070
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:1997
-
负责人:Samuel Kamin
-
依托单位:
Special-Purpose Functional Languages
-
批准号:9619644
-
项目类别:Standard Grant
-
资助金额:$15.88万
-
财政年份:1997
-
负责人:Samuel Kamin
-
依托单位:
Workshop on Future Directions in Programming Languages and Compilers; Charleston, S.C.; January 13-14, 1993
-
批准号:9304990
-
项目类别:Standard Grant
-
资助金额:$2.08万
-
财政年份:1993
-
负责人:Samuel Kamin
-
依托单位:
Functional Programming and Scientific Computing
-
批准号:9303043
-
项目类别:Continuing Grant
-
资助金额:$35.73万
-
财政年份:1993
-
负责人:Samuel Kamin
-
依托单位:
Design and Optimization Problems in Relational Database Theory
-
批准号:8003308
-
项目类别:Standard Grant
-
资助金额:$6.81万
-
财政年份:1980
-
负责人:Samuel Kamin
-
依托单位:
海外基金