| 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,...
|
|
