徽标页

大学冲浪.net文件
投票门户电子学习
文化数学
ENSup公司。et最小值。ZH

运行经验
I S公司

套房百科全书
Séminaire公司MaMuX公司
数学、音乐与关系与艺术学科
国际卫生组织
高等科学研究院

  

语言功能.功能语言



Bas de page(低音页面)

组-组

<http://www.dcs.gla.ac.uk/fp/> <http://www.cs.chalmers.se/ComputingScience/Research/Functional/>
编程逻辑组当前工作的核心是编程逻辑框架的概念;即形式系统的统一理论,其中可以方便地表达许多不同的逻辑。特别是,我们的大部分工作都基于Martin-Löf的类型理论,该理论提供了这样一个框架。
<http://www.cs.chalmers.se/cs/Research/Logic公司/>
诺丁汉大学
<http://www.cs.nott.ac.uk/Research/lap/>

前c瑞士

网页

Curry是一种通用编程语言,旨在融合最重要的声明性编程范式,即函数编程和逻辑编程。此外,它还涵盖了在集成函数逻辑语言领域开发的最重要的操作原则:“剩余”和“收缩”
<http://www-i2.informatik.rwth-aachen.de/~hanus/curry/index.html> <http://www-i2.informatik.rwth-aachen.de/Forschung/FP/Haskell/> <网址:http://www.erlang.org/>
是一个针对Haskell 98的健壮、功能齐全、优化的编译器,GHC将Haskells编译为本机代码或C。
<http://research.microsoft.com/users/t-simonm/ghc/>
此二进制发行版在RedHat 6.0上不起作用。
<http://www.netlib.org/pvm3/>
Haskell是一种通用的纯函数式编程语言。Haskell编译器几乎可免费用于任何计算机。
<http://www.haskell.org/>
一个Haskell解释器和编程环境,用于开发酷炫的Haskel程序。源代码和二进制文件可以通过匿名FTP和万维网上免费获得。发布和支持文件可以是已下载从拥抱主页。
<http://haskell.systemsz.cs.yale.edu/hugs/>
比哈斯克尔更热
Cayenne是一种简单的函数式语言,具有强大的类型系统。基本类型是函数、乘积和和和。功能和产品使用依赖类型来获得额外的功能。
<网址:http://www.cs.chalmers.se/~auguss/cayenne/index.html>
是一个增量开发证明和程序的系统。Agda也是一种具有依赖类型的函数式语言。该语言与cayenne非常相似,agda打算在将来(几乎)完全实现它。
Alfa是校对编辑器Alf的继承者,具有图形用户界面。
<网址:http://www.cs.chalmers.se/~catarina/agda/>
ALF是一种结合了函数和逻辑编程技术的语言。ALF的基础是具有等式的Horn子句逻辑,它由用于逻辑编程的谓词和Horn子句以及用于函数编程的函数和方程组成。由于ALF是两种编程范式的真正集成,任何函数表达式都可以用在目标文字中,任意谓词可以出现在等式条件中。ALF的操作语义是基于解析规则来求解文字,并通过收缩来计算函数表达式。
<http://www-i2.informatik.rwth-aachen.de/~hanus/systems/ALF.html>
证明助理是一个计算机程序,用户可以用它在某种逻辑系统中构造完全形式化的数学证明。与定理证明者不同,证明者不能自己找到证明。
<网址:http://www.cs.kun.nl/~janz/yarrow/>
由SCandAL项目在卡内基梅隆大学开发
<http://www.cs.cmu.edu/~丑闻/nesl.html> <http://www.mozart-oz.org/>
圣安德鲁斯大学
<http://www-fp.dcs.st-and.ac.uk/>
CLEAN是一种最先进、纯粹且懒惰的函数式编程语言,专门设计用于开发现实世界中的应用程序。
<网址:http://www.cs.kun.nl:80/~干净/>
United Functions and Objects项目开发了一种编程语言,它将函数编程技术和面向对象编程技术结合在一起。
<http://www.cs.man.ac.uk/arch/projects/ufo.html>
HOL系统是一个强大且广泛使用的计算机程序,用于构造高阶逻辑中的形式化规范和证明。该系统在工业界和学术界都用于支持许多不同领域的形式化推理,包括硬件设计和验证、安全性推理、实时系统证明、硬件描述语言的语义、编译器验证、程序正确性、建模并发性和程序精化。HOL还用作一般理论研究的开放平台。
<http://www.cs.bell-labs.com/~wadler/realworld/hol.html>
格拉斯哥并行哈斯克尔(GPH)程序并行执行的模拟器。Haskell是一种非严格的纯函数编程语言。GPH用顺序(seq)和并行(par)组合注释扩展了Haskell。
<http://www.dcs.glasgow.ac.uk/fp/software/gransim/>
Cayenne是一种简单的函数式语言,具有强大的类型系统。基本类型是函数、乘积和和。功能和产品使用依赖类型来获得额外的功能。
<网址:http://www.cs.chalmers.se/~八月/夏令时/>

前c瑞士

协会

这是一个专门保存、推广和开发TRAC编程语言的网站。
<http://www.trac-language.com网站/>
Haskell是一种通用的纯函数式编程语言。Haskell编译器几乎可免费用于任何计算机。
<http://www.haskell.org/ghc/>

前c瑞士

页面个人信息-主页

<http://www.dcs.gla.ac.uk/~安迪/>
查尔默斯理工大学
<http://www.md.chalmers.se/~rjmh/>
耶鲁大学计算机科学系
函数式编程计算机音乐爵士乐
<网址:http://www.cs.yale.edu/~ hudak paul.html> <http://www.base.com/gordoni网站/> <http://research.microsoft.com/Users/simonpj/#aspects>

前c瑞士

来源

<ftp://ftp.dcs.glasgow.ac.uk/pub/haskell/gofer公司/> <http://www.haskell.org/hugs/>
GHC-Current基本上是源树的最新快照,保证在源成功构建时拍摄(但不一定有效!)。
<http://research.microsoft.com/users/t-simonm/ghc/download_ghc_current.html> <ftp://ftp.cs.chalmers.se/pub/haskell/chalmers/0.9999.3/>
要让Cayenne工作,您需要hbc和lmlc,可以在ftp.cs.chalmers.se/pub/haskell/chalmers公司
<ftp://ftp.cs.chalmers.se/users/cs/augustss/cayenne.tgz>

前c瑞士

爪哇

克劳斯·哈弗伦德
Java PathFinder(JPF)是从Java到Promela(SPIN模型检查器的编程语言)的转换器。目的是建立一个使用模型检查验证和调试Java程序的框架。系统检测死锁和违反程序员声明的断言。
<http://www.cs.bell-labs.com/~wadler/realworld/javapathfinder.html>
Java的忠实伴侣
披萨是Java的扩展,有三个重要的新特性。参数多态性。一流的功能。类案例和模式匹配。
Pizza将程序编译为普通的Java字节码,并与现有的Java代码接口,保留了Java的广泛兼容性。
<http://www.cis.unisa.edu.au/~披萨/>

前c瑞士

文件-纸张

菲利普·沃德勒
<http://www.cs.bell-labs.com/~wadler/topics/monads.html>
菲利普·沃德勒
<http://www.cs.bell-labs.com/~wadler/topics/linear-logic.html> <http://www.dcs.gla.ac.uk/fp/authors/Simon_Peyton_Jones/>
Jean-Louis Krivine女士
<网址:http://www.pps.jussieu.fr/~krivine/articles/interpt.pdf>

前c瑞士

摘要

KIV是一个交互式定理证明程序,具有用户可定义的对象逻辑。
<http://www.cs.bell-labs.com/~wadler/realworld/kiv.html>
约翰·休斯
<http://www.md.chalmers.se/~rjmh/Papers/whyfp.html>

前c瑞士

JOURNAUX-字母

<http://www.dcs.gla.ac.uk/jfp/>
Jean-Paul Baquiast和Christophe Jacquemin
Les自动化智能机器人,vie artificielle,r©alit©virtuelle
<http://www.appendoutes.asso.fr/larevue/2002/27/edito.htm>

前c瑞士

肿瘤-肿瘤-肿瘤

Sisal语言项目的任务是开发高性能函数编译器和运行时系统,以简化在并行超级计算机上编写科学程序的过程,并帮助程序员开发函数式科学应用程序。
<http://jarl.cs.uop.edu/cop/cs/faculty/joseph/SisalTutorial网站/> <http://www.cit.gu.edu.au/~arock/enter/entre.html>
Jean Goubault-Larrecq Le 02 aoÃt 1999年
<http://www.dyade.fr/fr/actions/VIP/jgl/MMFAI/lambdaidx.html>
让·古堡-拉雷克
<http://www.lsv.ens-cachan.fr/~goubault/machinesidx.html>

前c瑞士

手册-手册

阿尔法是WYSIWYG校对编辑。它允许您以交互和增量的方式定义理论(公理和推理规则)、制定定理并构造定理的证明。系统会立即检查证明构造的所有步骤,并且不会构造错误的证明。使用的逻辑框架是Agda
<网址:http://www.cs.chalmers.se/~hallgren/Alfa/userguide.html> <http://haskell.org/bookshelf/>

前c瑞士

问题-常见问题

诺丁汉大学Graham Hutton编辑
<http://www.cs.nott.ac.uk/Department/Staff/gmh/faq.html> <http://www.cis.ohio-state.edu/hypertext/faq/usenet/func-lang-faq/faq.html>

前c瑞士

小组讨论-新闻

<新闻:comp.lang.functional>

前c瑞士

留置权-链接

<网址:http://www-i2.informatik.rwth-aachen.de/~hanus/FLP/implications.html> <http://compiler.kaist.ac.kr/~khchoi/fp.html> <http://www.studyweb.com/computers/program/functional.htm>
以下是应用于实际任务的功能程序列表。真实世界的主要标准是,程序主要是为了执行某些任务而编写的,而不是为了试验函数式编程。
<http://www.cs.bell-labs.com/~wadler/realworld/index.html> <http://www.cs.cmu.edu/~mleone/language-research.html>

 上页











广告宣传: 如果您在其中一个未链接的文件中看到引用,并且您知道相应文档的链接地址,请给我发邮件,我会在文档中包含链接。提前非常感谢。
资产评估:分类标准最接近。留置权证书追溯到不同的准则等在plusieurs页面上。Les commentaires sont généralement des courts extraits des pages référenceées《法庭意见》。最有可能的是,一定会有必要在某一天。
Tous评论道,ou remarques sont les bienvenus,vous pouvez les adresserá:
埃克里尔

Les misesájour demandées sont réalisées dès que possible et,沙特西塞斯特内塞泽尔,奥村的消息是关于内塞斯特内塞的。谢谢你。

版权所有©1999-2012 Jean-Paul Davalan-跨网站复制。