• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Type theory and functional programming /

پدید آورنده
Simon Thompson

موضوع
Functional programming (Computer science),Type theory

رده
QA76
.
62
.
T46
1991

کتابخانه
Center and Library of Islamic Studies in European Languages

محل استقرار
استان: Qom ـ شهر: Qom

Center and Library of Islamic Studies in European Languages

تماس با کتابخانه : 32910706-025

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
0201416670

NATIONAL BIBLIOGRAPHY NUMBER

Number
b410690

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Type theory and functional programming /
General Material Designation
[Book]
First Statement of Responsibility
Simon Thompson

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Reading, Mass. :
Name of Publisher, Distributor, etc.
Addison-Wesley,
Date of Publication, Distribution, etc.
c1991

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
xv, 372 p. :
Other Physical Details
ill. ;
Dimensions
24 cm

SERIES

Series Title
International computer science series

INTERNAL BIBLIOGRAPHIES/INDEXES NOTE

Text of Note
Includes bibliographical references (p. 347-357) and index

TOPICAL NAME USED AS SUBJECT

Functional programming (Computer science)
Type theory

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA76
.
62
Book number
.
T46
1991

PERSONAL NAME - PRIMARY RESPONSIBILITY

Thompson, Simon

ORIGINATING SOURCE

Date of Transaction
19920311143439.0

ELECTRONIC LOCATION AND ACCESS

Electronic name
 مطالعه متن کتاب 

[Book]

Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival