- In what kinds of logic (or formal systems) does this book describe the semantics of programming languages? https://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf 6 comments compsci
Linking pages
- 300+ Best Free Programming Books https://www.theinsaneapp.com/2021/01/free-programming-books.html 55 comments
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- What is syntax? https://www.williamjbowman.com/blog/2023/06/07/what-is-syntax/ 18 comments
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- free-programming-books/free-programming-books-subjects.md at main · EbookFoundation/free-programming-books · GitHub https://github.com/EbookFoundation/free-programming-books/blob/main/books/free-programming-books-subjects.md 3 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:www.cs.cmu.edu
Search title: In what kinds of logic (or formal systems) does this book describe the semantics of programming languages?
See how to search.