Advanced functional programming : (Record no. 3555)

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
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total checkouts Barcode Date last seen Copy number Price effective from Koha item type
    Library of Congress Classification     Library Library First Floor 21/12/2024   11258 21/12/2024 1 21/12/2024 Books
New Arrivals

Loading...

Contact Us

Library: Location maps

Phone: 00968 2323 7091 Email: Ask us a question

Library Hours

Sunday - Thursday 7:30AM - 8:00 PM

Friday - Saturday Closed