関数プログラミング : JSSST
著者
書誌事項
関数プログラミング : JSSST
(レクチャーノート/ソフトウェア学, 3,
近代科学社, 1992-1994
- [1]:'91
- 2:'94
- タイトル読み
-
カンスウ プログラミング : JSSST
大学図書館所蔵 件 / 全78件
-
[1]:'91007.64||1||307100509068,
2:'94007.64||2||307100509081, 007.64||1||3071T0509068* -
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
付: 参考文献
'94の編者: 武市正人
内容説明・目次
- 巻冊次
-
[1]:'91 ISBN 9784764902039
目次
- 1 関数プログラミングの実際
- 2 並行動作システムのMirandaによる仕様記述
- 3 カテゴリー理論とプログラミング カルテシアン閉カテゴリー
- 4 抽象実行 そのフレームワークと実例
- 5 論理プログラムの抽象解釈を用いた解析
- 6 一般化論理プログラムのUnfold変換
- 7 完全遅延評価と部分計算
- 8 関数・論理型プログラミング言語のための遅延ナローイング計算系
- 9 単一化としての遅延評価 一般化論理プログラムからのアプローチ
- 10 生成関数の導入によるアルゴリズムの導出
- 巻冊次
-
2:'94 ISBN 9784764902329
目次
- 関数合成に基づく計算体系—定義と基本的性質
- Deriving Efficient Functional Programs by Constructing Medio‐types
- グラフ構造上のストリクト性解析のリスト構造上のストリクト性解析への応用
- 自由圏の構成と構成的論理における推論の並べ替えについて
- 制約付き型理論の実現
- ファーストクラスな環境と多相型
- Monadic StyleでのML風のrefオペレータに対する多重定義を用いた型付けについて
- 総称関数のParametricityとSyntacticな性質の関係について
- A“Fast”Representation of the Lambda Calculus
- Klaus Berkling
- 制約解消系を備えた関数・論理型言語の設計と実現〔ほか〕
「BOOKデータベース」 より