<図書>

Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings / edited by Guy Cousineau, Pierre-Louis Curien and Bernard Robinet

(Lecture notes in computer science;242)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 Germany 39:L:1.242 2012041378

保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1986
大きさ iv, 208 p. ; 25 cm
一般注記 Includes bibliographical references
著者標目 *Laboratoire Informatique Théorique et Programmation (France). Spring School (13th : 1985 : Val d'Ajol, France)
Cousineau, Guy
Curien, Pierre-Louis
Robinet, Bernard, 1941-
件 名 LCSH:Functional programming languages -- Congresses
LCSH:Combinatory logic -- Congresses
NDLSH:プログラミング用言語(電子計算機)
分 類 LCC:QA76.7
DC19:005.13/3
NDC8:007.64
本文言語 英語,フランス語
書誌ID 2000028522
ISBN 3540171843
NCID BA00420451 WCLINK

類似資料

  1. 1 Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings / edited by Austin Melton
  2. 2 Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985 / edited by Jean-Pierre Jouannaud
  3. 3 Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987, proceedings / Gilles Kahn (ed.)
  4. 4 Functional programming languages and computer architecture : 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings / J. Hughes, (ed.)
  5. 5 1988 International Conference on Computer Languages : proceedings, October 9-13, 1988, Castle Hotel and Resort, Miami Beach, Florida / sponsored by the Computer Society, Computer Languages Technical Committee
  6. 6 1990 International Conference on Computer Languages : proceedings, March 12-15, 1990, New Orleans, Louisiana / sponsored by The Computer Society, Computer Languages Technical Committee
  7. 7 ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings / edited by B. Robinet and R. Wilhelm
  8. 8 オブジェクト指向Perlマスターコース : オブジェクト指向の概念とPerlによる実装方法 / ダミアン・コンウェイ著 ; 山根ドキュメンテーション訳
  9. 9 Concepts in user interfaces : a reference model for command and response languages / by members of IFIP Working Group 2.7 ; edited by David Beech
  10. 10 Negation and control in Prolog / Lee Naish

検索結果一覧に戻る ページトップ