Advanced Topics in Types and Programming Languages (The MIT Press)
(as of Sep 21,2021 07:16:43 UTC – Details)
The research of sort methods for programming languages now touches many areas of pc science, from language design and implementation to software program engineering, community safety, databases, and evaluation of concurrent and distributed methods. This e-book provides accessible introductions to key concepts in the sphere, with contributions by specialists on every matter.
The subjects coated embody exact sort analyses, which lengthen easy sort methods to provide them a greater grip on the run time conduct of methods; sort methods for low-level languages; purposes of varieties to reasoning about pc applications; sort principle as a framework for the design of subtle module methods; and superior methods in ML-style sort inference.
Advanced Topics in Types and Programming Languages builds on Benjamin Pierce’s Types and Programming Languages (MIT Press, 2002); many of the chapters needs to be accessible to readers accustomed to fundamental notations and methods of operational semantics and sort methods—the fabric coated in the primary half of the sooner e-book.
Advanced Topics in Types and Programming Languages can be utilized in the classroom and as a useful resource for professionals. Most chapters embody workouts, ranging in issue from fast comprehension checks to difficult extensions, many with options.