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其他文献

Comparing the efficacy and safety of Q-switched and picosecond lasers in the treatment of nevus of Ota: a systematic review and meta-analysis

比较调Q激光和皮秒激光治疗太田痣的疗效和安全性：系统评价和荟萃分析

DOI：
发表时间：
2020
期刊：
Lasers in Medical Science
影响因子：
2.1
作者：
Natalie M. Williams;Pooja Gurnani;J. Long;John Reynolds;Yue Pan;Takahiro Suzuki;Ghadah Alhetheli;K. Nouri
通讯作者：
K. Nouri

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

First record of the invasive Asian earthworm Amynthas tokioensis (Beddard, 1892) in the province of Québec, Canada

加拿大魁北克省首次记录入侵亚洲蚯蚓 Amynthas tokioensis（Beddard，1892 年）

DOI：
发表时间：
2024
期刊：
BioInvasions Records
影响因子：
1.4
作者：
Jean;John Reynolds
通讯作者：
John Reynolds

Rater agreement of a test battery designed to assess adolescents' resistance training skill competency.

旨在评估青少年阻力训练技能能力的测试组的评估者协议。

DOI：
发表时间：
2015
期刊：
Journal of Science and Medicine in Sport
影响因子：
4
作者：
L. Barnett;John Reynolds;A. Faigenbaum;Jordan J. Smith;Simon K. Harries;D. Lubans
通讯作者：
D. Lubans

Development of Clinical Recommendations for Progressive Return to Activity After Military Mild Traumatic Brain Injury: Guidance for Rehabilitation Providers

制定军事轻度创伤性脑损伤后逐步恢复活动的临床建议：康复提供者指南

DOI：
10.1097/htr.0000000000000104
发表时间：
2015
期刊：
Journal of Head Trauma Rehabilitation
影响因子：
2.4
作者：
K. McCulloch;Ltc Sarah Goldman;Lynn Lowe;M. Radomski;John Reynolds;Capt Rita Shapiro;Therese A. West
通讯作者：
Therese A. West