CAREER: Principled Foundations for Programming with Objects
CAREER: Principled Foundations for Programming with Objects
批准号:
9996250
负责人:
Benjamin Pierce
金额:
$8.29万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1998
资助国家:
美国
项目状态:
已结题
起止时间:
1998-08-01 至 2001-11-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Medium: Bringing Python Up to Speed
-
批准号:1955565
-
项目类别:Standard Grant
-
资助金额:$43.8万
-
财政年份:2020
-
负责人:Benjamin Pierce
-
依托单位:
Collaborative Research: RAPID: Virtual Conference Platform
-
批准号:2035101
-
项目类别:Standard Grant
-
资助金额:$3.65万
-
财政年份:2020
-
负责人:Benjamin Pierce
-
依托单位:
TWC: Medium: Micro-Policies: A Framework for Tag-Based Security Monitors
-
批准号:1513854
-
项目类别:Standard Grant
-
资助金额:$120.0万
-
财政年份:2015
-
负责人:Benjamin Pierce
-
依托单位:
SHF: Small: Random Testing for Language Design
-
批准号:1421243
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2014
-
负责人:Benjamin Pierce
-
依托单位:
Programming Languages Mentoring Workshop
-
批准号:1353927
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2013
-
负责人:Benjamin Pierce
-
依托单位:
Conference Support for OREGON PROGRAMMING LANGUAGES SUMMER SCHOOL, 2013
-
批准号:1338938
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2013
-
负责人:Benjamin Pierce
-
依托单位:
Conference Support for OREGON PROGRAMMING LANGUAGES SUMMER SCHOOL, 2012
-
批准号:1240237
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2012
-
负责人:Benjamin Pierce
-
依托单位:
TC: Medium: Putting Differential Privacy To Work
-
批准号:1065060
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2011
-
负责人:Benjamin Pierce
-
依托单位:
SHF: Small: Algebraic Foundations for Collaborative Data Sharing
-
批准号:1017212
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2010
-
负责人:Benjamin Pierce
-
依托单位:
TC: SMALL: Contracts for Precise Types
-
批准号:0915671
-
项目类别:Standard Grant
-
资助金额:$45.46万
-
财政年份:2009
-
负责人:Benjamin Pierce
-
依托单位:
CT-T: Collaborative Research: Manifest Security
-
批准号:0715936
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2007
-
负责人:Benjamin Pierce
-
依托单位:
LINGUISTIC FOUNDATIONS FOR XML VIEW UPDATE
-
批准号:0534592
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Benjamin Pierce
-
依托单位:
Harmony: The Art of Reconciliation
-
批准号:0429836
-
项目类别:Continuing Grant
-
资助金额:$31.5万
-
财政年份:2004
-
负责人:Benjamin Pierce
-
依托单位:
ITR: Types for XML
-
批准号:0219945
-
项目类别:Continuing Grant
-
资助金额:$48.96万
-
财政年份:2002
-
负责人:Benjamin Pierce
-
依托单位:
ITR/SY+IM: Principles and Practice of Synchronization
-
批准号:0113226
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2001
-
负责人:Benjamin Pierce
-
依托单位:
Modular Type Systems
-
批准号:9912352
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2000
-
负责人:Benjamin Pierce
-
依托单位:
U.S.-France Cooperative Research (INRIA): Static Types for Reasoning about Concurrent Systems
-
批准号:9996084
-
项目类别:Standard Grant
-
资助金额:$1.71万
-
财政年份:1998
-
负责人:Benjamin Pierce
-
依托单位:
U.S.-France Cooperative Research (INRIA): Static Types for Reasoning about Concurrent Systems
-
批准号:9605173
-
项目类别:Standard Grant
-
资助金额:$1.8万
-
财政年份:1997
-
负责人:Benjamin Pierce
-
依托单位:
CAREER: Principled Foundations for Programming with Objects
-
批准号:9701826
-
项目类别:Continuing Grant
-
资助金额:$10.0万
-
财政年份:1997
-
负责人:Benjamin Pierce
-
依托单位:
Development of an Integrated, Multidisciplinary Science Literacy Course for Comprehensive Universities
-
批准号:9455440
-
项目类别:Standard Grant
-
资助金额:$10.16万
-
财政年份:1995
-
负责人:Benjamin Pierce
-
依托单位:
海外基金