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: 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.
(19213 views)
Book cover: SOA Source BookSOA Source Book
- Van Haren Publishing
The SOA Source Book will help enterprise architects to use SOA effectively. It explains: What SOA is; How to evaluate SOA features in business terms; How to model SOA; How to use The Open Group Architecture Framework for SOA; SOA governance.
(12897 views)
Book cover: The New Software EngineeringThe New Software Engineering
by - 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.
(19209 views)
Book cover: Advances in Human Computer InteractionAdvances in Human Computer Interaction
by - 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.
(17086 views)