Introduction to Type Theory by Herman Geuvers

Introduction to Type Theory

Introduction to Type Theory by Herman Geuvers
Publisher: Radboud University Nijmegen 2011
Number of pages: 57
The author gives an introductory overview of type theory for PhD students. He focuses on the use of type theory for compile-time checking of functional programs and on the use of types in proof assistants (theorem provers).
Computers & Internet Computer Science Programming Language Theory Type Theory



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



Categories