TYPE THEORY AND FUNCTIONAL PROGRAMMING (Record no. 215211)

MARC details
000 -LEADER
fixed length control field 00446nam a22001577a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 250326b |||||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780201416671
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.62.T496 1999
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name THOMPSON SIMON
245 ## - TITLE STATEMENT
Title TYPE THEORY AND FUNCTIONAL PROGRAMMING
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. NEWYORK
Name of publisher, distributor, etc. THOMPSON
Date of publication, distribution, etc. 1999
300 ## - PHYSICAL DESCRIPTION
Extent X,365
650 ## - SUBJECT ADDED ENTRY
Topical term or geographic name entry element Functional programming (Computer science) Type theory.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Library of Congress Classification
Koha item type Long Loan Book

No items available.