**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

**Knowware: the third star after Hardware and Software**

by

**Ruqian Lu**-

**Polimetrica**

This book proposes to separate knowledge from software and to make it a commodity that is called knowware. The architecture, representation and function of Knowware are discussed. The principles of knowware engineering are analyzed.

(

**10961**views)

**A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe**

by

**Antoni Niederlinski**

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.

(

**9449**views)

**The New Software Engineering**

by

**Sue Conger**-

**Global Text Project**

The book discusses software engineer's project related knowledge and theoretical background. It covers project planning, project life cycles, methodologies, technologies, techniques, tools, languages, testing, databases, and CASE.

(

**16785**views)

**The Elements of Computing Systems**

by

**Noam Nisan, Shimon Schocken**-

**MIT Press**

The book exposes students to a significant body of computer science knowledge, gained through a series of hardware and software construction tasks. These tasks demonstrate how theoretical and applied techniques are used in practice.

(

**20694**views)