Software Foundations
by Benjamin C. Pierce
Publisher: University of Pennsylvania 2010
Description:
These are notes for a one-semester course on Software Foundations -- the mathematical theory of programming and programming languages -- suitable for graduate or upper-level undergraduate students. They develop basic concepts of functional programming, logic, operational semantics, lambda-calculus, and static type systems, using the Coq proof assistant.
Download or read it online for free here:
Read online
(online html)
Similar books
SOA eBook: Patterns, Mashups, Governance, Service Modeling, and More
- Pearson e ducation, Inc.
This volume is a collection of chapters from eight popular books, comprehensive tutorials that teach fundamental and advanced SOA design principles, supplemented with detailed case studies and technologies used to implement SOAs in the real world.
(8041 views)
- Pearson e ducation, Inc.
This volume is a collection of chapters from eight popular books, comprehensive tutorials that teach fundamental and advanced SOA design principles, supplemented with detailed case studies and technologies used to implement SOAs in the real world.
(8041 views)
The Grand Unified Theory of Software Engineering
by Mathias Ekstedt - Industrial Info Systems
This book is the result of innumerable longwinded, oftentimes unnecessarily complicated, discussions between the authors on the nature of software engineering, machines, minds, design, software, engineering, organizations and more.
(13051 views)
by Mathias Ekstedt - Industrial Info Systems
This book is the result of innumerable longwinded, oftentimes unnecessarily complicated, discussions between the authors on the nature of software engineering, machines, minds, design, software, engineering, organizations and more.
(13051 views)
Advances in Human Computer Interaction
by Shane Pinder - InTech
The book surveys the disciplines that inhabit the study and practice of human-computer interaction. The authors are passionate advocates of innovative applications, novel approaches, and modern advances in this exciting and developing field.
(17167 views)
by Shane Pinder - InTech
The book surveys the disciplines that inhabit the study and practice of human-computer interaction. The authors are passionate advocates of innovative applications, novel approaches, and modern advances in this exciting and developing field.
(17167 views)
Communicating Sequential Processes
by C.A.R. Hoare - Prentice Hall
CSP is a language for describing patterns of interaction. It is supported by an elegant mathematical theory, a set of proof tools, and an extensive literature. The book is an excellent introduction to the language, and also to the mathematical theory.
(13036 views)
by C.A.R. Hoare - Prentice Hall
CSP is a language for describing patterns of interaction. It is supported by an elegant mathematical theory, a set of proof tools, and an extensive literature. The book is an excellent introduction to the language, and also to the mathematical theory.
(13036 views)