Hacker News
- Software Foundations http://www.cis.upenn.edu/~bcpierce/sf/ 14 comments
- Software Foundations. Benjamin C. Pierce et al. http://www.cis.upenn.edu/~bcpierce/sf/index.html 4 comments
- A course on Software Foundations — the mathematical theory of programming and programming languages — by Benjamin Pierce http://www.cis.upenn.edu/~bcpierce/sf 102 comments programming
- Software Foundations: an online book where the fundamental concepts of programming are presented and formalised in Coq. http://www.cis.upenn.edu/~bcpierce/sf/ 12 comments compsci
Linking pages
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- Robert Constable on correct-by-construction programming - Machine Intelligence Research Institute http://intelligence.org/2014/03/02/bob-constable/ 10 comments
- free-programming-books/books/free-programming-books-langs.md at main · EbookFoundation/free-programming-books · GitHub https://github.com/EbookFoundation/free-programming-books/blob/main/books/free-programming-books-langs.md 3 comments
- GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc. https://github.com/williamdemeo/TypeFunc 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:www.cis.upenn.edu
Search title: Software Foundations
See how to search.