This book offers an accessible introduction to key ideas in the field, with contributions by experts on each topic. Topics covered include analysis of the appropriate type, which extend simple type systems to give them a better grip on the behavior of run time system, type systems for low-level languages, application types to reasoning about computer programs; type theory as a framework for system design advanced modules, and advanced techniques in ML-style type inference. Advanced Topics in Types and Programming Languages building on the Benjamin Pierce Types and Programming Languages (MIT Press, 2002), most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type system first? The material discussed in the previous half of the book. Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals.