1. Home
  2. E-Book
  3. Certified Programming with Dependent Types

Certified Programming with Dependent Types by Adam Chlipala

Certified Programming with Dependent Types

Certified Programming with Dependent Types by Adam Chlipala
Certified Programming with Dependent Types by Adam Chlipala
2011
Number of pages: 371
Due in no small part to some bold but unfulfilled promises in the history of computer science, today most people who write software, practitioners and academics alike, assume that the costs of formal program verification outweigh the benefits. The purpose of this book is to convince you that the technology of program verification is mature enough today that it makes sense to use it in a support role in many kinds of research projects in computer science.
Computers & Internet Computer Science Programming Language Theory Functional Programming
Go To Read/Download Page
Home Page

More Free E-Books For Programming Language Theory

Similar Books For Programming Language Theory

1. Crafting Interpreters: A handbook for making programming languages by Robert Nystrom
2. Compiler Construction by William M. Waite, Gerhard Goos
3. Purely Functional Data Structures by Chris Okasaki
4. Professor Fris by 's Mostly Adequate Guide to Functional Programming
5. Compiler Design in C by Allen I. Holub
6. Write You a Haskell: Building a modern functional compiler from first principles by Stephen Diehl
7. ROSE Compiler Framework by
8. Intuitionistic Type Theory by Per Martin-Loef
9. Homotopy Type Theory by Peter Aczel, et al.
10. Functional Programming in Qi by Mark Tarver
11. Implementing Programming Languages by Aarne Ranta
12. Real World Functional Programming by Tomas Petricek, Jon Skeet, Yin Zhu
13. Compiler Construction by
14. Compiler Design: Theory, Tools, and Examples by Seth D. Bergmann
15. Category Theory and Functional Programming by Mikael Vejdemo-Johansson
16. A Gentle Introduction to ML by Andrew Cumming
17. Certified Programming with Dependent Types by Adam Chlipala
18. Introduction to Type Theory by Herman Geuvers
19. Compilers and Compiler Generators by P.D. Terry
20. Programming in Martin-Lof's Type Theory: An Introduction by Bengt Nordstrom, Kent Petersson, Jan M. Smith
21. Let's Build a Scripting Engine-Compiler by S. Arbayo
22. Lightweight Compiler Techniques by Nils M Holm
23. Functional Programming and Parallel Graph Rewriting by Rinus Plasmeijer, Marko van Eekelen
24. Language Translation Using PCCTS and C++ by Terence John Parr
25. Bison: The Yacc-compatible Parser Generator by Charles Donnelly, Richard Stallman
26. The Power PC Compiler Writer's Guide by Steve Hoxey, at al.
27. Understanding and Writing Compilers by Richard Bornat
28. Using and Porting the GNU Compiler Collection (GCC) by Vincent Chung
29. GNU Compiler Collection (GCC) Internals by
30. Project Oberon - The Design of an Operating System and Compiler by Niklaus Wirth, Jürg Gutknecht
31. Concurrent Programming in Erlang by Robert Virding, Claes Wikstrom, Mike Williams
32. Let's Build a Compiler by Jack Crenshaw
33. An Introduction to Compilers by Dirk Vermeir
34. Compiler Construction using Flex and Bison by Anthony A. Aa
35. Compiler Construction by Niklaus Wirth
36. Basics of Compiler Design by Torben Mogensen
37. Type Theory and Functional Programming by Simon Thompson
38. The Conception, Evolution, and Application of Functional Programming Languages by Paul Hudak
39. Programming in Standard ML by Robert Harper
40. The Design of Functional Programs - A Calculational Approach by Dr. Robert Richard Hoogerwoord
41. Parsing Techniques: A Practical Guide by Dick Grune, Ceriel J. H. Jacobs
42. The GENTLE Compiler Construction System by Friedrich Wilhelm Schröer

Free E-Books For Computers & Internet
Free E-Books For Computer Science
Free E-Books For Programming Language Theory
Free E-Books For Functional Programming



Categories