Tools

LEADER 01174cam a2200337 a 4500

001 ocm20220701;

005 20141212081808.0;

008 890804s1990 maua b 000 0 eng ;

010 a| 89017772;

020 a| 0201172348;

035 a| (Sirsi) o20220701;

035 a| (OCoLC)20220701;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.62b| .L64 1990;

082 00 a| 005.1/12| 20;

245 00 a| Logical foundations of functional programming /c| edited by Gérard Huet.;

300 a| xvi, 491 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| UT year of programming series;

504 a| Includes bibliographical references.;

650 0 a| Functional programming (Computer science)=| ^A260442;

700 1 a| Huet, Gérard.=| ^A262998;

830 0 a| UT year of programming series.=| ^A261796;

919 a| BOOK;

596 a| 1;

998 a| 376323;

999 a| QA76.62.L64 1990w| LCc| 1i| 30372005677338d| 2/13/2013e| 10/4/1999f| 2/13/2013g| 1l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 2/12/1991x| BOOKz| JSTACKSo| .STAFF. 0;

Logical foundations of functional programming / edited by Gérard Huet.

Other author	Huet, Gérard.
Format	Book
Publication Info	Reading, Mass. : Addison-Wesley, ©1990.
Description	xvi, 491 pages : illustrations ; 25 cm.
Subjects	Functional programming (Computer science)

Series	UT year of programming series UT year of programming series. ^A261796
Bibliography note	Includes bibliographical references.
LCCN	89017772
ISBN	0201172348

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.62.L64 1990	✔ Available	Place Hold

Logical foundations of functional programming / edited by Gérard Huet.

Click here for more information about this title

Availability