Trends in functional programming : 15th international symposium, TFP 2014 : Soesterberg, the Netherlands, May 26-28, 2014 : revised selected papers : TFP2014 : May 2014, Soesterberg, the Netherlands. (Lecture Notes in Computer Science ; 8843)

Trends in functional programming : 15th international symposium, TFP 2014 : Soesterberg, the Netherlands, May 26-28, 2014 : revised selected papers : TFP2014 : May 2014, Soesterberg, the Netherlands.

(Lecture Notes in Computer Science ; 8843)

Call No. (NDL): M17-15-1652
Bibliographic ID of National Diet Library: 026072850

Material type: 図書

Author: International Symposium on Trends in Functional Programming (15th : 2014 : Soesterberg, the Netherlands)ほか

Publisher: Springer

Publication date: [2015]

Material Format: Paper

Capacity, size, etc.: viii, 141 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Revised selected papers.

Other physical details：: illustrations

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783319146744
3319146742
ISBN (error code): 9783319146751 electronic bk.
3319146750 electronic bk.
ISSN (series): 0302-9743
Title: Trends in functional programming : 15th international symposium, TFP 2014 : Soesterberg, the Netherlands, May 26-28, 2014 : revised selected papers : TFP2014 : May 2014, Soesterberg, the Netherlands.
Series Title: Lecture Notes in Computer Science ; 8843
Title Heading: Lecture notes in computer science ; 8843.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: International Symposium on Trends in Functional Programming (15th : 2014 : Soesterberg, the Netherlands)
Hage, Jurriaan.
McCarthy, Jay (Computer scientist)
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date: [2015]
Publication Date (W3CDTF): 2015
Extent: viii, 141 pages
Other physical details: illustrations
Size: 24 cm.
Place of Publication (Country Code): CH
Text Language Code: eng
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Functional programming (Computer science)--Congresses.
Logic design--Computer programs--Congresses.
Data structures (Computer science)--Congresses.
NDLC: M17
Target Audience: 一般
Note (General): Revised selected papers.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-1652
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026072850
http://id.ndl.go.jp/bib/026072850
OCLC No.: 907347113
https://www.worldcat.org/oclc/907347113
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215