1996 Summer School on Advanced Functional Programming; Pacific Software Research Center, Portland, Oregon

1996 高级函数式编程暑期学校;

基本信息

项目摘要

The Pacific Software Research Institute is holding a summer school on advanced functional programming techniques. The school is designed to be of use to university faculty, industry and government workers interested in software technology. It will also bring together a group of leading researchers in advanced functional programming to lecture and interact with the other participants. This will allow in-depth discussion by both researchers and practitioners in the field, providing an assessment of the state of the art and new directions of research needed.
太平洋软件研究所正在举办一个关于高级函数编程技术的暑期班。该学校旨在为对软件技术感兴趣的大学教师、工业和政府工作人员提供帮助。它还将汇集一组先进的函数式编程的领先研究人员,与其他参与者进行演讲和互动。这将使该领域的研究人员和从业人员能够进行深入讨论,对最新技术和所需研究的新方向进行评估。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Tim Sheard其他文献

Two-level types and parameterized modules
两级类型和参数化模块
  • DOI:
    10.1017/s095679680300488x
  • 发表时间:
    2004
  • 期刊:
  • 影响因子:
    1.1
  • 作者:
    Tim Sheard;E. Pasalic
  • 通讯作者:
    E. Pasalic

Tim Sheard的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Tim Sheard', 18)}}的其他基金

SHF: Small: Generic Dependently Typed Programming by Reflecting a Predicative Hierarchy of Universes
SHF:小:通过反映宇宙的谓词层次结构的通用依赖类型编程
  • 批准号:
    1320934
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SHF:Large:Collaborative Research:TRELLYS: Community-Based Design and Implementation of a
SHF:大型:协作研究:TRELLYS:基于社区的设计和实施
  • 批准号:
    0910500
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Mitigating human error in programs through combined language/reasoning systems
通过组合语言/推理系统减少程序中的人为错误
  • 批准号:
    0541447
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
SoD-HCER Semantics Based System Design Using Omega
使用 Omega 进行基于 SoD-HCER 语义的系统设计
  • 批准号:
    0613969
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Heterogeneous Meta Programming Systems
异构元编程系统
  • 批准号:
    0098126
  • 财政年份:
    2001
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Improving Hugs: Haskell as a Research Tool
改善拥抱:Haskell 作为研究工具
  • 批准号:
    9974980
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Type Safe Program Generators
类型安全程序生成器
  • 批准号:
    9625462
  • 财政年份:
    1996
  • 资助金额:
    --
  • 项目类别:
    Standard Grant

相似海外基金

CAS-Climate: Workshop on Advanced Manufacturing for Industrial Decarbonization; Arlington, Virginia; Summer 2023
CAS-气候:工业脱碳先进制造研讨会;
  • 批准号:
    2305157
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Student Support for 4th International Summer School on Advanced Material Systems (AMS); Thessaloniki, Greece; July 1-7, 2018
第四届先进材料系统国际暑期学校(AMS)的学生支持;
  • 批准号:
    1836912
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
U.S.-India Advanced Studies Institute on Thermalization: From Glasses to Black Holes, Bangalore, Summer 2013.
美印热化高级研究所:从玻璃到黑洞,班加罗尔,2013 年夏季。
  • 批准号:
    1243369
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Advanced Placement Computer Science: Principles - Summer 2011 Professional Development for UC Berkeley Cluster of High School Teachers
计算机科学先修课程:原理 - 加州大学伯克利分校高中教师集群 2011 年夏季专业发展
  • 批准号:
    1143566
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Pan-American Advanced Studies Institutes on Frontiers in Imaging Science; Colombia, Summer, 2010
泛美影像科学前沿高级研究所;
  • 批准号:
    0921656
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Support for the 13th Ph.D. Summer School (Advanced Course on Artificial Intelligence - ACAI2009) in Northern Ireland, UK.
支持第13届博士生
  • 批准号:
    EP/H019642/1
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Pan American Advanced Studies Institute on Function and Regulation of the Cytoskeleton; Rio de Janeiro, Brazil, Summer 2010
泛美细胞骨架功能与调节高级研究所;
  • 批准号:
    0921354
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
A Summer Course in Flux Measurement and Advanced Modeling: University of Colorado Mountain Research Station, Summer 2008
通量测量和高级建模夏季课程:科罗拉多大学山地研究站,2008 年夏季
  • 批准号:
    0634649
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Summer Multicultural Advanced Research Training (SMART)
夏季多元文化高级研究培训(SMART)
  • 批准号:
    8277274
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
UNTHSC Summer Multicultural Advanced Research Training Program "SMART"
UNTHSC 夏季多元文化高级研究培训项目“SMART”
  • 批准号:
    8656722
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了