|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000087659 |
| 005 |
20160303.0 |
| 008 |
141112s2012 nyu eng |
| 020 |
|
|
|a 1280248513
|
| 020 |
|
|
|a 8132316894 (ebook)
|
| 020 |
|
|
|a 9781280248511
|
| 020 |
|
|
|a 9788132316893 (ebook)
|
| 050 |
0 |
0 |
|a QA8.4
|b .S56 2012
|
| 090 |
0 |
0 |
|a QA8.4
|b .S56 2012
|
| 100 |
1 |
|
|a Singleton, Velva ,
|e author
|
| 245 |
1 |
2 |
|a A first course in type theory [
|h [electronic resource]]
|c Velva Singleton
|
| 260 |
|
|
|a New York :
|b Learning Press ,
|c 2012
|
| 300 |
|
|
|a 1 online resource :
|b ill.
|
| 505 |
0 |
|
|a 1. Table of contents -- 2. Introduction to type theory -- 3. Simply typed lambda calculus -- 4. Type polymorphism and type system -- 5. Algebraic data type and calculus of constructions -- 6. Composite data type and covariance and contravariance (computer science) -- 7. Liskov substitution principle and effect system -- 8. Nominative type system and structural type system -- 9. Option type and POPLmark challenge -- 10. Recursive data type and strong typing -- 11. System F and tagged union -- 12. Type inference and type conversion -- 13. Type class and weak typing
|
| 650 |
|
0 |
|a Type theory
|
| 856 |
4 |
0 |
|3 Learning Press
|u http://ebooks.wtbooks.com/BookStore/pagedisplay.do?genre=book&pub=wtbooks&id=9781280248511&page=S-FC&instID=164
|
| 999 |
|
|
|a 1000162709
|b Electronic Book
|c Electronic Resource
|e Gong Badak Campus
|