MARC details
000 -LEADER |
fixed length control field |
01555cam a22002177a 4500 |
001 - CONTROL NUMBER |
control field |
vtls000000344 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
VRT |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20250102222807.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
080915s2005 gw a |b 101 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
3540285407 (pbk.) |
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] |
Level of rules in bibliographic description |
201402040044 |
Level of effort used to assign nonsubject heading access points |
VLOAD |
Level of effort used to assign subject headings |
201010091158 |
Level of effort used to assign classification |
malmash |
Level of effort used to assign subject headings |
200809281232 |
Level of effort used to assign classification |
malmash |
Level of effort used to assign subject headings |
200809151328 |
Level of effort used to assign classification |
staff |
-- |
200809151320 |
-- |
staff |
050 00 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA76.62 |
Item number |
.A396 2004 |
245 10 - TITLE STATEMENT |
Title |
Advanced functional programming : |
Remainder of title |
5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures / |
Statement of responsibility, etc. |
Varmo Vene, Tarmo Uustalu (eds.). |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Berlin ; |
-- |
New York : |
Name of publisher, distributor, etc. |
Springer, |
Date of publication, distribution, etc. |
2005. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
viii, 357 p. : |
Other physical details |
ill. ; |
Dimensions |
24 cm. |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographical references and index. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
This tutorial book presents nine carefully revised lectures given at the 5th International School on Functional Programming, AFP 2004, in Tartu, Estonia in August 2004. The book presents the following nine, carefully cross-reviewed chapters, written by leading authorities in the field: Typing Haskell with an Attribute Grammar, Programming with Arrows, Epigram: Practical Programming with Dependent Types, Combining Datatypes and Effects, GEC: a toolkit for Generic Rapid Prototyping, A Functional Shell that Operates on Typed and Compiled Applications, Declarative Debugging with Buddha, Server-Side Web Programming in WASH, and Refactoring Functional Programs. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Functional programming (Computer science) |
9 (RLIN) |
10049 |
856 41 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/toc/fy0608/2005931987.html">http://www.loc.gov/catdir/toc/fy0608/2005931987.html</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
Library of Congress Classification |
Suppress in OPAC |
No |
Koha item type |
Books |