Tools

LEADER 01400cam a2200385Ia 4500

001 ocm26506339;

003 OCoLC;

005 20141212093254.0;

008 920831s1992 enk b 001 0 eng d;

020 a| 0521403847;

035 a| (Sirsi) o26506339;

035 a| (OCoLC)26506339;

049 a| EREE;

090 a| QA9.5b| .N54 1992;

092 0 a| 005.13b| N554t2| 20;

100 1 a| Nielson, Flemming,d| 1955-=| ^A300236;

245 10 a| Two-level functional languages /c| Flemming Nielson & Hanne Riis Nielson.;

260 a| Cambridge ;a| New York :b| Cambridge University Press,c| 1992.;

300 a| xii, 299 pages ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Cambridge tracts in theoretical computer science;

504 a| Includes bibliographical references (p. 285-292) and index.;

650 0 a| Lambda calculus.=| ^A173635;

650 0 a| Combinatory logic.=| ^A49165;

650 0 a| Functional programming languages.=| ^A217662;

700 1 a| Nielson, Hanne Riis,d| 1954-=| ^A300237;

740 0 a| Two level functional languages.;

830 0 a| Cambridge tracts in theoretical computer science.=| ^A221007;

919 a| BOOK;

596 a| 1;

998 a| 444430;

999 a| QA9.5.N54 1992w| LCc| 1i| 30372006707688d| 1/31/2013l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 12/31/1992x| BOOKz| JSTACKSo| .STAFF. 0;

Two-level functional languages / Flemming Nielson & Hanne Riis Nielson.

Author/creator	Nielson, Flemming, 1955-
Other author	Nielson, Hanne Riis, 1954-
Format	Book
Publication Info	Cambridge ; New York : Cambridge University Press, 1992.
Description	xii, 299 pages ; 26 cm.
Subjects	Lambda calculus. Combinatory logic. Functional programming languages.

Series	Cambridge tracts in theoretical computer science Cambridge tracts in theoretical computer science. ^A221007
Bibliography note	Includes bibliographical references (p. 285-292) and index.
Other title	Two level functional languages.
ISBN	0521403847

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.5.N54 1992	✔ Available	Place Hold

Click here for more information about this title