Oregon Programming Languages Summer School 2017: A Spectrum of Types

2017 年俄勒冈编程语言暑期学校：类型谱

• 批准号: 1738047
• 负责人: Zena Ariola
• 金额: $ 2万
• 依托单位: University of Oregon Eugene
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-05-01 至 2018-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1738047&HistoricalAwards=false
• 关键词: Oregon; Programming; Languages; Summer; 2017

Title: 2017 Oregon Programming Languages Summer School (OPLSS) on A Spectrum of TypesThis award provides student travel and subsistence for the 2017 Oregon Programming Languages Summer School (OPLSS). This summer school provides an important and valuable educational opportunity for students to study theoretical topics related to programming languages and methods/verification. The focus of this year's school is "A Spectrum of Types". The broader significance and importance include building international community and cooperation in foundational research areas, and enhancing education of US students, including women and underrepresented minorities, with exposure to and interaction with leading-edge research and researchers. By supporting US-based students, the school will thus train the next generation of programming languages, compilers and software engineering researchers in both industry and academia, nationally.

职务名称：2017年俄勒冈州编程语言暑期学校（OPLSS）上的一系列类型该奖项为2017年俄勒冈州编程语言暑期学校（OPLSS）提供学生旅行和生活费。这个暑期学校为学生提供了一个重要而宝贵的教育机会，学习与编程语言和方法/验证相关的理论主题。今年学校的重点是“类型的光谱”。更广泛的意义和重要性包括建立国际社会和基础研究领域的合作，加强美国学生的教育，包括妇女和代表性不足的少数民族，接触和互动的前沿研究和研究人员。通过支持美国学生，学校将在全国范围内为工业和学术界培养下一代编程语言，编译器和软件工程研究人员。