Advanced Topics in Types and Programming Languages
 | The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems... |
Concepts of Programming Languages (7th Edition)
 | Concepts of Programming Languages describes the fundamental concepts of programming languages by presenting design issues, examining design choices, and critically comparing design alternatives without being language specific... |
Concepts of Programming Languages, Fifth Edition
 | The fifth edition of Concepts of Programming Languages by Robert Sebesta continues the approach that has made it the undisputed market leader... |
Foundations of Object-Oriented Languages: Types and Semantics
 | In recent years, object-oriented programming has emerged as the dominant computer programming style, and object-oriented languages such as C and Java enjoy wide use in academia and industry... |
History of Programming Languages, Volume 2 (ACM Press)
Object-Oriented Programming Languages: Interpretation (Undergraduate Topics in Computer Science)
 | This comprehensive examination of the main approaches to object-oriented language explains the key features of the languages in use today... |
Practical Common Lisp
 | Lisp is thought of an academic language but it need not be... |
Programming Language Design Concepts
 | Explains the concepts underlying programming languages, and demonstrates how these concepts are synthesized in the major paradigms: imperative, OO, concurrent, functional, logic and with recent scripting languages... |
Programming Language Fundamentals by Example
 | Written in an informal yet informative style, Programming Language Fundamentals by Example uses active learning techniques, giving students a professional learning experience based on professional methods applied with professional standards... |
Programming Language Pragmatics
 | As a textbook suitable for the classroom or self-study, Michael Scott's Programming Language Pragmatics provides a worthy tour of the theory and practice of how programming languages are run on today's computers... |
Types and Programming Languages
 | 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... |
|
