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: Practical Tips for Software-Intensive Student ProjectsPractical Tips for Software-Intensive Student Projects
by
A collection of practical tips gathered from the authors' software engineering experience and from many books on the topic. It does not intend to cover software engineering theory. The book is meant for software engineering project courses.
(10863 views)
Book cover: Software Engineering for Internet ApplicationsSoftware Engineering for Internet Applications
by - The MIT Press
After completing this course on server-based Internet applications software, students who start with only the knowledge of how to write and debug a computer program will have learned how to build web-based applications on the scale of Amazon.com.
(11722 views)
Book cover: A Quick and Gentle Guide to  Constraint Logic Programming via ECLiPSeA Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe
by
Introductory and down-to-earth presentation of Constraint Logic Programming, an exciting software paradigm, more and more popular for solving combinatorial as well as continuous constraint satisfaction problems and constraint optimization problems.
(4996 views)
Book cover: Acceptance Test Engineering GuideAcceptance Test Engineering Guide
by - Microsoft
The Guide will provide guidance for technology stakeholders (developers, development leads, testers, test leads, architects, etc.) and business stakeholders (managers, customers, end users, etc) on the discipline of acceptance testing.
(6376 views)