関数プログラミング : JSSST'94  2

武市正人 編

[目次]

  • 関数合成に基づく計算体系-定義と基本的性質
  • Deriving Efficient Functional Programs by Constructing Medio‐types
  • グラフ構造上のストリクト性解析のリスト構造上のストリクト性解析への応用
  • 自由圏の構成と構成的論理における推論の並べ替えについて
  • 制約付き型理論の実現
  • ファーストクラスな環境と多相型
  • Monadic StyleでのML風のrefオペレータに対する多重定義を用いた型付けについて
  • 総称関数のParametricityとSyntacticな性質の関係について
  • A"Fast"Representation of the Lambda Calculus
  • Klaus Berkling
  • 制約解消系を備えた関数・論理型言語の設計と実現〔ほか〕

「BOOKデータベース」より

この本の情報

書名 関数プログラミング : JSSST'94
著作者等 日本ソフトウェア科学会関数プログラミング研究会
武市 正人
書名ヨミ カンスウ プログラミング
シリーズ名 レクチャーノート/ソフトウェア学 10
巻冊次 2
出版元 近代科学社
刊行年月 1994.12
ページ数 247p
大きさ 26cm
ISBN 476490232X
NCID BN08412980
※クリックでCiNii Booksを表示
全国書誌番号
95028597
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想