関数プログラミング : JSSST
Author(s)
Bibliographic Information
関数プログラミング : JSSST
(レクチャーノート/ソフトウェア学, 3,
近代科学社, 1992-1994
- [1]:'91
- 2:'94
- Title Transcription
-
カンスウ プログラミング : JSSST
Available at / 78 libraries
-
Kwansei Gakuin University Library上ケ原
[1]:'91510.78:1626:30070336482,
2:'94510.78:1626:100070495221 -
Kochi University of Technology.Library
[1]:'91007.64||Ka59||100000854,
2:'94007.64||Ka59||200000855 -
Kobe University Library for Science and Technology
[1]:'91548-83-21//3H039300003101*,
2:'94548-83-21//10030009708991 -
[1]:'91007.64||1||307100509068,
2:'94007.64||2||307100509081, 007.64||1||3071T0509068* -
Shimizu Library, Tokai University Library
[1]:'91549.9364/K/100967101,
2:'94549.9364/K/200965884 OPAC
-
Tohoku Institute of Technology Library
[1]:'91N1:548.964||AT:R||KN:0031962540,
2:'94N1:548.964||AT:R||KN:0101942647 -
University of Toyama Library, Central Library工室
[1]:'91007.64||N57s||Ka=111028365,
2:'94007.64||N57s||Ka=211028370 -
Digital Library of Nara Institute of Science and Technology
[1]:'91AB||25||30012992,
2:'94AB||25||100020202 -
[1]:'91007.63/R 25/369305471,
2:'94007.63/R 25/1069502277, 00763/REKUCHA/369305471 -
Miyagi University Taiwa Campus Library
[1]:'91007.63||R||3000002297,
2:'94007.63||R||10000002304 -
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
付: 参考文献
'94の編者: 武市正人
Description and Table of Contents
- Volume
-
[1]:'91 ISBN 9784764902039
Table of Contents
- 1 関数プログラミングの実際
- 2 並行動作システムのMirandaによる仕様記述
- 3 カテゴリー理論とプログラミング カルテシアン閉カテゴリー
- 4 抽象実行 そのフレームワークと実例
- 5 論理プログラムの抽象解釈を用いた解析
- 6 一般化論理プログラムのUnfold変換
- 7 完全遅延評価と部分計算
- 8 関数・論理型プログラミング言語のための遅延ナローイング計算系
- 9 単一化としての遅延評価 一般化論理プログラムからのアプローチ
- 10 生成関数の導入によるアルゴリズムの導出
- Volume
-
2:'94 ISBN 9784764902329
Table of Contents
- 関数合成に基づく計算体系—定義と基本的性質
- Deriving Efficient Functional Programs by Constructing Medio‐types
- グラフ構造上のストリクト性解析のリスト構造上のストリクト性解析への応用
- 自由圏の構成と構成的論理における推論の並べ替えについて
- 制約付き型理論の実現
- ファーストクラスな環境と多相型
- Monadic StyleでのML風のrefオペレータに対する多重定義を用いた型付けについて
- 総称関数のParametricityとSyntacticな性質の関係について
- A“Fast”Representation of the Lambda Calculus
- Klaus Berkling
- 制約解消系を備えた関数・論理型言語の設計と実現〔ほか〕
by "BOOK database"