Software Support for the Yale Haskell Implentation
Software Support for the Yale Haskell Implentation
批准号:
9104987
负责人:
Paul Hudak
金额:
$20.36万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1991
资助国家:
美国
项目状态:
已结题
起止时间:
1991-07-01 至 1993-12-31
中文摘要
Haskell是一种通用的纯函数式编程语言, 由15名成员组成的国际委员会设计,并以 逻辑学家哈斯克尔B。咖喱。 成立这个委员会是因为 我认为现代函数式语言的研究和应用 由于缺乏共同语言而受到阻碍。 该设计是 于1990年4月完成,并已在内部非常受欢迎 在函数式编程社区之外。 自然,非常需要一个好的,健壮的,自由的 Haskell的可用实现。 Yale Haskell实现 有潜力发挥这一作用,它是基于多年的 在耶鲁的函数式语言实现经验, 目前最全面的Haskell实现 支持编译和解释代码,单独编译, 程序开发工具。 然而,Yale Haskell需要进一步的支持才能真正有效 这个奖项提供了这种支持。 维持这样一个系统, 这不是一件容易的事,而且福尔斯更多地属于软件类, 维护比研究。 由于功能的快速增长, 编程,有效和可靠的实施需求 Haskell,以及缺乏其他全面的实现, 必须支持耶鲁·哈斯克尔 我们的目标是稳定, 维护、分发和改进实施。
英文摘要
Haskell is a general purpose, purely functional programming language, designed by a 15-member international committee, and named after the logician Haskell B. Curry. The committee was formed because it was felt that research and application of modern functional languages were being hampered by the lack of a common language. The design was completed in April 1990, and has been very well received both inside and outside the functional programming community. Naturally, there is a great need for a good, robust, and freely available implementation of Haskell. The Yale Haskell implementation has the potential to serve this role, it being based on years of functional language implementation experience at Yale, and being the most comprehensive implementation of Haskell currently available supporting both compiled and interpreted code, separate compilation, and program development tools. However, Yale Haskell needs further support to be truly effective and this award provides that support. Maintaining such a system is not an easy task, and falls more in the category of software maintenance than research. Because of the rapid growth of functional programming, the demand for an effective and reliable implementation of Haskell, and the lack of other implementations as comprehensive, necessitates support for Yale Haskell. The goals are to stabilize, maintain, distribute, and improve the implementation.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: CSR/EHS: Building Physically Safe Embedded Systems
-
批准号:0720682
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Paul Hudak
-
依托单位:
Functional Hybrid Modeling
-
批准号:0306046
-
项目类别:Standard Grant
-
资助金额:$27.0万
-
财政年份:2003
-
负责人:Paul Hudak
-
依托单位:
ITR: Dance, a Programming Language for the Control of Humanoid Robots
-
批准号:0325690
-
项目类别:Standard Grant
-
资助金额:$24.0万
-
财政年份:2003
-
负责人:Paul Hudak
-
依托单位:
ITR: A Framework for Rapid Development of Reliable Robotics Software
-
批准号:0205542
-
项目类别:Standard Grant
-
资助金额:$51.03万
-
财政年份:2002
-
负责人:Paul Hudak
-
依托单位:
Principles of Functional Reactive Programming
-
批准号:9900957
-
项目类别:Standard Grant
-
资助金额:$24.99万
-
财政年份:1999
-
负责人:Paul Hudak
-
依托单位:
Enhancing Geographic Education with Data Visualization and GIS Technology
-
批准号:9650346
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:1996
-
负责人:Paul Hudak
-
依托单位:
Building Evolutionary Software Through Modular Executable Specifications and Incremental Derivations
-
批准号:9633390
-
项目类别:Continuing Grant
-
资助金额:$45.0万
-
财政年份:1996
-
负责人:Paul Hudak
-
依托单位:
Principles of Embedded Language Design
-
批准号:9404786
-
项目类别:Standard Grant
-
资助金额:$22.5万
-
财政年份:1994
-
负责人:Paul Hudak
-
依托单位:
Principles and Applications of Partial Evaluation
-
批准号:9104043
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:1991
-
负责人:Paul Hudak
-
依托单位:
The Operational Semantics of Parallel Functional Programs
-
批准号:8809919
-
项目类别:Continuing Grant
-
资助金额:$22.52万
-
财政年份:1988
-
负责人:Paul Hudak
-
依托单位:
PYI: Semantic Analysis in Support of Parallel Computation
-
批准号:8451415
-
项目类别:Continuing Grant
-
资助金额:$31.25万
-
财政年份:1985
-
负责人:Paul Hudak
-
依托单位:
DAPS: Systems Support For AI
-
批准号:8403304
-
项目类别:Continuing Grant
-
资助金额:$13.1万
-
财政年份:1984
-
负责人:Paul Hudak
-
依托单位:
Distributed Combinator Reduction (Computer Research)
-
批准号:8302018
-
项目类别:Standard Grant
-
资助金额:$8.5万
-
财政年份:1983
-
负责人:Paul Hudak
-
依托单位:
国内基金
海外基金
两性离子载体(zwitterionic support)作为可溶性支载体在液相有机合成中的应用
-
批准号:21002080
-
项目类别:青年科学基金项目
-
资助金额:19.0万元
-
批准年份:2010
-
负责人:霍聪德
-
依托单位:
基于Support Vector Machines(SVMs)算法的智能型期权定价模型的研究
-
批准号:70501008
-
项目类别:青年科学基金项目
-
资助金额:17.0万元
-
批准年份:2005
-
负责人:曹丽娟
-
依托单位: