|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000087668 |
| 005 |
20160303093000.0 |
| 008 |
141112s2012 nyu eng |
| 020 |
|
|
|a 1280164034
|
| 020 |
|
|
|a 8132312724 (ebook)
|
| 020 |
|
|
|a 9781280164033
|
| 020 |
|
|
|a 9788132312727 (ebook)
|
| 050 |
0 |
0 |
|a QA76.62
|b .R53 2012
|
| 090 |
0 |
0 |
|a QA76.62
|b .R53 2012
|
| 100 |
1 |
|
|a Ricci, Raven ,
|e author
|
| 245 |
0 |
0 |
|a Functional programming & lambda calculus [
|h [electronic resource]]
|c Raven Ricci, Alia Bell
|
| 246 |
3 |
0 |
|a Functional programming and lambda calculus
|
| 260 |
|
|
|a New York :
|b College Publishing House ,
|c 2012
|
| 300 |
|
|
|a 1 online resource :
|b ill. (some col.)
|
| 500 |
|
|
|a Revised edition : 2014
|
| 505 |
0 |
|
|a 1. Table of contents -- 2. Introduction to functional programming -- 3. First-class function and purely functional -- 4. Referential transparency (computer science) and continuation-passing style -- 5. Anamorphism and evaluation strategy -- 6. Recursion (computer science) -- 7. Introduction to lambda calculus -- 8. Church encoding -- 9. Fixed point combinator -- 10. Binary lambda calculus -- 11. Anonymous function -- 12. Apply and director string -- 13. Explicit substitution and lambda lifting -- 14. Normalisation by evaluation and SKI combinator calculus
|
| 650 |
|
0 |
|a Functional programming (Computer science)
|
| 650 |
|
0 |
|a Lambda calculus
|
| 700 |
1 |
|
|a Bell, Alia ,
|e author
|
| 856 |
4 |
0 |
|3 College Publishing House
|u http://ebooks.wtbooks.com/BookStore/pagedisplay.do?genre=book&pub=wtbooks&id=9781280164033&page=S-FC&instID=164
|
| 999 |
|
|
|a 1000162711
|b Electronic Book
|c Electronic Resource
|e Gong Badak Campus
|