Types and programming languages (Record no. 4867)

MARC details
000 -LEADER
fixed length control field 00505cam a22001334a 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 8120324625 (pbk)
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.13
Author Mark PIE
100 1# - MAIN ENTRY--PERSONAL NAME
Authorship Pierce, Benjamin C.
245 10 - TITLE STATEMENT
Title Types and programming languages
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication New Delhi
Name of publisher Prentice Hall
Date of publication 2002
300 ## - PHYSICAL DESCRIPTION
Extent xxi, 623 p.
Illustrations : ill.
Dimensions ; 24 cm
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Subject Programming languages
-- Computer science
Keywords Arithmetic expression
-- Mathematical preliminaries
-- ML implementation
-- Simple extensions
-- Sub typing
-- Recursive types
-- Polymorphism
-- FC
942 ## - ADDED ENTRY ELEMENTS (KOHA)
item type Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Source of acquisition Cost, normal purchase price Full call number Barcode Copy number Koha item type Public note
      NOT for LOAN Main Campus Main Campus Purchased: Alvi Book Bank 571.00 005.13 PIE 3481 1 Books Reference:
Copyright © 2026 Riphah International University | System Administrator