Logo

Software Foundations by Benjamin C. Pierce

Small book cover: Software Foundations

Software Foundations
by

Publisher: University of Pennsylvania

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.

Home page url

Download or read it online for free here:
Read online
(online html)

Similar books

Book cover: SOA eBook: Patterns, Mashups, Governance, Service Modeling, and MoreSOA 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.
(2913 views)
Book cover: The Grand Unified Theory of Software EngineeringThe Grand Unified Theory of Software Engineering
by - 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.
(6266 views)
Book cover: Software EngineeringSoftware Engineering
by - Rutgers University
This book reviews some important technologies for software development with a focus on Web applications. Emphasis is on underlying principles and basic concepts. Written for upper-division undergraduate and graduate courses in software engineering.
(10518 views)
Book cover: Software ArchitectureSoftware Architecture
by - FTA
The central theme of this book is balancing the concerns and requirements of stakeholders, combining these into an architecture proposal by employing known tactics and patterns, producing a description of the architecture that can be communicated.
(6216 views)