Search Results for: Practical Foundations For Programming Languages

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er

Programming Language Foundations is a concise text that covers a wide range of topics in the mathematical semantics of programming languages, for readers withou

This clearly written textbook introduces the reader to the three styles of programming, examining object-oriented/imperative, functional, and logic programming.

This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what