Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Types and Programming Languages

Buy
Types and Programming Languages, 9780262162098 (0262162091), MIT Press, 2002

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.

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 explicity identified, allowing readers to choose a variety of paths through the material.

About the Author

Benjamin C. Pierce is Associate Professor of Computer and Information Science at the University of Pennsylvania.

(HTML tags aren't allowed.)

Symbolic and Numerical Scientific Computation: Second International Conference, SNSC 2001, Hagenberg, Austria
Symbolic and Numerical Scientific Computation: Second International Conference, SNSC 2001, Hagenberg, Austria
Scientific computation has a long history, dating back to the astronomical tables of the Babylonians, the geometrical achievements of the Egyptians, the calendars of the Mayans, and the number theory of the ancient Chinese. The success of these activities led in many parts of the world to the development of mathematical theories trying to explain...
Linux Kernel Module Programming Guide
Linux Kernel Module Programming Guide
So, you want to write a kernel module. You know C, you've written a number of normal programs to run as processes, and now you want to get to where the real action is, to where a single wild pointer can wipe out your file system and a core dump means a reboot. Welcome to the club. Linux Kernel Module Programming Guide is for people who want to...
Mathematics of Shape Description: A Morphological Approach to Image Processing and Computer Graphics
Mathematics of Shape Description: A Morphological Approach to Image Processing and Computer Graphics
Image processing problems are often not well defined because real images are contaminated with noise and other uncertain factors. In Mathematics of Shape Description, the authors take a mathematical approach to address these problems using the morphological and set-theoretic approach to image processing and computer graphics by presenting...

Encyclopedia Of Haunted Places: Ghostly Locales From Around The World
Encyclopedia Of Haunted Places: Ghostly Locales From Around The World
The Encyclopedia of Haunted Places is the first directory to be written by dozens of the world's leading paranormal investigators. Research notes, location background, first-hand accounts, and many anomalous photographs featuring ghostly manifestations comprise the hundreds of haunted listings in this directory. For years, paranormal investigative...
Substance Abuse: A Comprehensive Textbook (Spiral Manual)
Substance Abuse: A Comprehensive Textbook (Spiral Manual)

The premier text on substance abuse and addictive behaviors is now in its updated and expanded Fourth Edition, with up-to-the-minute insights from more than 150 experts at the front lines of patient management and research. This edition features expanded coverage of the neurobiology of abused substances, new pharmacologic therapies...

Foundation Rails 2
Foundation Rails 2
I wrote this book with the goal of providing an introduction to Rails for people who have some passing familiarity with other scripting languages such as JavaScript or PHP. That being said, the main requirement for success with this book is simply going to be motivation and curiosity. Readers with an abundance of both, who are willing to go beyond...
©2019 LearnIT (support@pdfchm.net) - Privacy Policy