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

The Design, Definition, and Implementation of Programming Languages

编程语言的设计、定义和实现

基本信息

批准号：
8922109
负责人：
John Reynolds
金额：
$ 26.84万
依托单位：
Carnegie-Mellon University
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1990
资助国家：
美国
起止时间：
1990-06-15 至 1993-11-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8922109&HistoricalAwards=false
关键词：
Design Definition Implementation Programming Languages

项目摘要

Research will be carried out on the design, definition, and implementation of programming languages, with emphasis on type systems. Specific topics include the coherence of ontological definitions, the meaning of parametricity for polymorphic functions, and the unification of polymorphic and intersection types.

将对设计、定义和编程语言的实现，重点是类型系统. 具体的主题包括本体论的连贯性定义，多态函数的参数性的含义，以及多态类型和交集类型的统一。

项目成果

期刊论文数量（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 }}

John Reynolds其他文献

di-A prospective comparison of cold snare polypectomy using traditional or dedicated cold snares for the resection of small sessile colorectal polyps

di-使用传统或专用冷圈套器切除小无蒂结直肠息肉的冷圈套器息肉切除术的前瞻性比较

DOI：
发表时间：
期刊：
影响因子：
0
作者：
J. Dwyer;Jonathan Y. C. Tan;P. Urquhart;Robyn Secomb;Catherine E. Bunn;John Reynolds;R. L. Nauze;William Kemp;Stuart Roberts;Gregor Brown
通讯作者：
Gregor Brown

P-410 ALLG MM26/D1/AMN009 Novel Combinations for Orphan Myeloma (NORM) Platform Study

DOI：
10.1016/s2152-2650(24)02312-7
发表时间：
2024-09-01
期刊：
Conference abstract
影响因子：
作者：
Georgia McCaughan;John Reynolds;Tzu-Yang Wang;Angelina Yong;Kihyun Kim;Jeffrey Huang;Christian Bryant;Nicole Wong Doo;Matthew Ku;Wee Joo Chng;Hang Quach
通讯作者：
Hang Quach

Asciminib monotherapy as frontline treatment of chronic-phase chronic myeloid leukemia: results from the ASCEND study

DOI：
10.1182/blood.2024024657
发表时间：
2024-11-07
期刊：
Research article
影响因子：
作者：
David T. Yeung;Naranie Shanmuganathan;John Reynolds;Susan Branford;Mannu Walia;Agnes S. M. Yong;Jake Shortt;Lynette Chee;Nicholas Viiala;Ilona Cunningham;David M. Ross;Alwyn D’Souza;Matthew Wright;Rosemary Harrup;Cecily Forsyth;Robin Filshie;Steven Lane;Peter Browett;Carolyn Grove;Andrew P. Grigg
通讯作者：
Andrew P. Grigg

Update of the Ascend-CML Study of Frontline Asciminib: High Rate of Optimal Response and Resistance Due to Mutations Is Rare

DOI：
10.1182/blood-2024-201218
发表时间：
2024-11-05
期刊：
Conference abstract
影响因子：
作者：
David T Yeung;Naranie Shanmuganathan;Agnes S. M. Yong;Jake Shortt;Lynette C.Y. Chee;Nicholas Vialla;Ilona Cunningham;David M Ross;Alwyn D'Souza;Matthew P.F. Wright;Rosemary Harrup;Cecily Forsyth;Robin Filshie;Steven W Lane;Peter J. Browett;Carolyn S. Grove;Mannu Walia;Susan Branford;John Reynolds;Andrew P Grigg
通讯作者：
Andrew P Grigg

Durable Responses Observed in Chronic Myelomonocytic Leukemia Treated with Lenzilumab and Azacitidine

DOI：
10.1182/blood-2024-202867
发表时间：
2024-11-05
期刊：
Conference abstract
影响因子：
作者：
Devendra Hiwase;David M Ross;David T Yeung;Agnes S. M. Yong;Steven W Lane;Anna Brown;Chun Yew Fong;Timothy P Hughes;John Reynolds;Daniel Thomas
通讯作者：
Daniel Thomas