Hacker News
- Programming Language Foundations in Agda https://plfa.github.io/ 5 comments
- Programming Language Foundations in Agda https://plfa.github.io/ 4 comments
Linking pages
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- GitHub - learn-anything/books: Awesome Books https://github.com/learn-anything/books 6 comments
- GitHub - err0r500/foundational-knowledge-for-programmers: List of resources about foundational knowledge for programmers (supposed to last a few decades) https://github.com/err0r500/foundational-knowledge-for-programmers 1 comment
- The Halting Problem (part 2) https://boarders.github.io/posts/halting2.html 0 comments
- GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc. https://github.com/williamdemeo/TypeFunc 0 comments
Related searches:
Search whole site: site:plfa.github.io
Search title: Programming Language Foundations in Agda – Table of Contents
See how to search.