| Work in type systems for programming languages now touches many parts of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. The aim of this book, together with its predecessor, Types and Programming Languages (Pierce [2002]—henceforth TAPL) is to offer a comprehensive and accessible introduction to the area’s central ideas, results, and techniques. The intended audience includes graduate students and researchers from other parts of computer science who want get up to speed in the area as a whole, as well as current researchers in programming languages who need comprehensible introductions to particular topics. Unlike TAPL, the present volume is conceived not as a unified text, but as a collection of more or less separate articles, authored by experts on their particular topics.
Most of the material should be accessible to readers with a solid grasp of the basic notations and techniques of operational semantics and type systems— roughly, the first half of TAPL. Some chapters depend on more advanced topics from the second half of TAPL or earlier chapters of the present volume; these dependencies are indicated at the beginning of each chapter. Interchapter dependencies have been kept to a minimum to facilitate reading in any order. |
|
|
 |  |  SQL: A Beginner's Guide, Second EditionRelational databases have become a common mainstay for systems that provide data storage for various types of applications. Programming languages such as C or COBOL or scripting languages such as VBScript or JavaScript must often access a data source in order to retrieve or modify data through the application. Many of these data... |  |  JavaScript glossary on demand
Using an innovative and unusual approach in the programming field, this book could somehow be compared to a waterfall: it starts quietly, by describing simple basic terms, and then accelerates until it covers most modern features towards the end. For absolute beginners or more advanced developers, this book explains the most common terms used in... |
 |  |  Algorithms in CAlgorithms in C is a comprehensive repository of algorithms, complete with code. If you're in a pinch and need to code something up fast, this book is the place to look. Starting with basic data structures, Algorithms in C covers an enormous scope of information, with extensive treatment of searching and advanced data structures,... |  |  Deploying Node.js
Learn how to build, test, deploy, monitor, and maintain your Node.js applications at scale
About This Book
-
Gain comprehensive information on scaling Node.js both vertically and horizontally in the cloud and across virtual machines
-
Learn how to use Gulp, Mocha, Chai, PhantomJS, Git,...
|
|