false http://photo.goodreads.com/books/1171656373m/112252.jpg 112252 1 A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective—-has important applications in software engineering, language design, high-performance compilers, and security.<br /> <br /> This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.<br /> <br /> The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages. 108085 2002 Types and Programming Languages total:15|5:9|4:5|3:1|2:0|1:0| 15 68 44 6 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 0 0 false Thu May 17 08:54:05 -0700 2007 Thu May 17 09:01:20 -0700 2007 more...]]> 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 5 0 false Tue Aug 26 17:48:16 -0700 2008 Tue Aug 26 18:04:39 -0700 2008 more...]]> 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 3 0 false Thu Mar 05 05:41:12 -0800 2009 Thu Mar 05 05:41:12 -0800 2009 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 0 0 false Thu Dec 11 18:07:47 -0800 2008 Thu Dec 11 18:08:48 -0800 2008 http://www.briangoetz.com/blog/?p=58]]> 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 0 0 false Mon Jan 28 23:13:54 -0800 2008 Mon Jan 28 23:14:22 -0800 2008 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 5 0 false Thu Aug 28 17:05:13 -0700 2008 Thu Aug 28 17:06:38 -0700 2008 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 5 0 false Tue Nov 24 21:02:19 -0800 2009 Tue Nov 24 21:02:19 -0800 2009 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 0 0 false Wed Nov 18 12:53:09 -0800 2009 Wed Nov 18 12:53:09 -0800 2009 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 5 0 false Tue Nov 17 02:17:22 -0800 2009 Tue Nov 17 02:17:22 -0800 2009 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 0 0 false Sun Nov 15 22:00:25 -0800 2009 Sun Nov 15 22:00:49 -0800 2009 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 0 0 false Sun Nov 08 16:10:26 -0800 2009 Sun Nov 08 16:10:38 -0800 2009 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 5 0 false Thu Sep 24 14:16:17 -0700 2009 Thu Sep 24 14:16:27 -0700 2009 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 0 0 false Tue Sep 15 09:57:02 -0700 2009 Tue Sep 15 09:57:04 -0700 2009 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 0 0 false Tue Sep 01 19:28:18 -0700 2009 Tue Sep 01 19:28:18 -0700 2009 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 0 0 false Tue Sep 01 17:30:06 -0700 2009 Tue Sep 01 17:30:06 -0700 2009 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 0 0 false Sun Aug 23 14:17:08 -0700 2009 Sun Aug 23 14:17:08 -0700 2009 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 0 0 false Tue Jun 09 00:39:52 -0700 2009 Tue Jun 09 00:47:44 -0700 2009 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 0 0 false Tue Jun 02 23:22:28 -0700 2009 Tue Jun 02 23:38:34 -0700 2009 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 0 0 false Fri May 29 01:26:01 -0700 2009 Fri May 29 01:26:01 -0700 2009 112252 0262162091 9780262162098 15 6 4.53 http://photo.goodreads.com/books/1171656373m/112252.jpg http://www.goodreads.com/book/show/112252.Types_and_Programming_Languages 0 0 false Thu May 21 21:49:39 -0700 2009 Thu May 21 21:49:39 -0700 2009 http://www.goodreads.com/book_link/follow/8?book_id=112252