عنوان
پدید آورنده
موضوع
رده
QA76.62 .T46 1991
QA76
.
62
.
T46
1991
کتابخانه
محل استقرار
0201416670
b410690
Type theory and functional programming /
[Book]
Simon Thompson
Reading, Mass. :
Addison-Wesley,
c1991
xv, 372 p. :
ill. ;
24 cm
International computer science series
Includes bibliographical references (p. 347-357) and index
Functional programming (Computer science)
Type theory
QA76
.
62
.
T46
1991
Thompson, Simon
19920311143439.0
مطالعه متن کتاب [Book]
Y
