関数プログラミング : JSSST
著者
書誌事項
関数プログラミング : JSSST
（レクチャーノート/ソフトウェア学, 3,
近代科学社, 1992-1994
- [1]:'91
- 2:'94
- タイトル読み
-
カンスウ プログラミング : JSSST
大学図書館所蔵 全78件
この図書・雑誌をさがす
注記
付: 参考文献
'94の編者: 武市正人
内容説明・目次
- 巻冊次
-
[1]:'91 ISBN 9784764902039
目次
- １ 関数プログラミングの実際
- ２ 並行動作システムのＭｉｒａｎｄａによる仕様記述
- ３ カテゴリー理論とプログラミング カルテシアン閉カテゴリー
- ４ 抽象実行 そのフレームワークと実例
- ５ 論理プログラムの抽象解釈を用いた解析
- ６ 一般化論理プログラムのＵｎｆｏｌｄ変換
- ７ 完全遅延評価と部分計算
- ８ 関数・論理型プログラミング言語のための遅延ナローイング計算系
- ９ 単一化としての遅延評価 一般化論理プログラムからのアプローチ
- １０ 生成関数の導入によるアルゴリズムの導出
- 巻冊次
-
2:'94 ISBN 9784764902329
目次
- 関数合成に基づく計算体系—定義と基本的性質
- Ｄｅｒｉｖｉｎｇ Ｅｆｆｉｃｉｅｎｔ Ｆｕｎｃｔｉｏｎａｌ Ｐｒｏｇｒａｍｓ ｂｙ Ｃｏｎｓｔｒｕｃｔｉｎｇ Ｍｅｄｉｏ‐ｔｙｐｅｓ
- グラフ構造上のストリクト性解析のリスト構造上のストリクト性解析への応用
- 自由圏の構成と構成的論理における推論の並べ替えについて
- 制約付き型理論の実現
- ファーストクラスな環境と多相型
- Ｍｏｎａｄｉｃ ＳｔｙｌｅでのＭＬ風のｒｅｆオペレータに対する多重定義を用いた型付けについて
- 総称関数のＰａｒａｍｅｔｒｉｃｉｔｙとＳｙｎｔａｃｔｉｃな性質の関係について
- Ａ“Ｆａｓｔ”Ｒｅｐｒｅｓｅｎｔａｔｉｏｎ ｏｆ ｔｈｅ Ｌａｍｂｄａ Ｃａｌｃｕｌｕｓ
- Ｋｌａｕｓ Ｂｅｒｋｌｉｎｇ
- 制約解消系を備えた関数・論理型言語の設計と実現〔ほか〕
「BOOKデータベース」 より