Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Functional programming / (Record no. 419644)

000 -LEADER
fixed length control field 01634pam a2200253 a 4500
001 - CONTROL NUMBER
control field c26404
003 - CONTROL NUMBER IDENTIFIER
control field ISI Library, Kolkata
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20150716130524.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 880128s1988 enka b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0201192497
040 ## - CATALOGING SOURCE
Original cataloging agency ISI Library
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.114
Edition number 23
Item number F453
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Field, Anthony J.
245 10 - TITLE STATEMENT
Title Functional programming /
Statement of responsibility, etc Anthony J. Field and Peter G. Harrison.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Wokingham, England ;
Name of publisher, distributor, etc Addison-Wesley,
Date of publication, distribution, etc c1988.
300 ## - PHYSICAL DESCRIPTION
Extent xiv, 602 p. :
Other physical details ill. ;
Dimensions 24 cm.
490 0# - SERIES STATEMENT
Series statement International computer science series
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 1. Introducing functions--<br/>2. An introduction to functional programming through Hope--<br/>3. Higher-order functions--<br/>4. Evaluation modes--<br/>5. Alternative functional styles--<br/>6. Mathematical foundations: the lambda calculus--<br/>7. Type inference systems and type checking--<br/>8. Intermediate forms--<br/>9. Interpretation techniques--<br/>10. Stack-based implementations- the SECD machine--<br/>11. An introduction to graph reduction--<br/>12. Combinator reduction--<br/>13. Advanced combinator implementations--<br/>14. Dataflow implementations--<br/>15. Compiling functional languages--<br/>16. Garbage collection--<br/>17. Program transformation and the operational approach--<br/>18. Algebraic program transformation--<br/>19. Memoization--<br/>20. Abstract interpretation--<br/>Appendices--<br/>Bibliography--<br/>Index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Functional programming (Computer science)
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Harrison, Peter G.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Lost status Not for loan Permanent Location Current Location Date acquired Full call number Accession Number Koha item type Original Price
    ISI Library, Kolkata ISI Library, Kolkata 2015-04-27 005.114 F453 C26404 Books USD 12.21
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in


Visitor Counter