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