プログラミング言語リンク集関数型言語リンク集/ Curry

Curry

目次

言語仕様
処理系
チュートリアル

言語仕様

Report on Curry
http://www.informatik.uni-kiel.de/~mh/curry/report.html
Christian-Albrechts-University Michael Hanusさん によって編集されている、Curryの仕様書。
Curry: A Truly Functional Logic Language
http://citeseer.nj.nec.com/339897.html
CiteSeer というサイトにある、 Michael Hanus,さん、Herbert Kuchen,さん、 Juan Joséさん、Moreno-Navarroさんによる、 Curryについての論文。

処理系

Implementations of Curry
http://www.informatik.uni-kiel.de/~mh/curry/implementations.html
Christian-Albrechts-University Michael Hanusさん のサイトにある、Curryの処理系のリンク集。
PACKS
http://www.informatik.uni-kiel.de/~pakcs/
PACKS(Portland Aachen Kiel Curry System)という Curryの処理系のサイト。

チュートリアル

Tutorial on Curry
http://www.informatik.uni-kiel.de/~mh/curry/tutorial/
Portland State University Sergio Antoyさん Christian-Albrechts-University Michael Hanusさん による、Curryについてのチュートリアル。
プログラミング言語リンク集関数型言語リンク集/ Curry

Last modified: Wednesday, 13 July 2005
Copyright (C) 2003-2005 Daikoku Manabu