Linking pages
- Part 0: Designing a Language without a Parser · thunderseethe's devlog https://thunderseethe.dev/posts/type-inference/ 135 comments
- GitHub - morganstanley/hobbes: A language and an embedded JIT compiler https://github.com/Morgan-Stanley/hobbes 69 comments
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- What Type Soundness Theorem Do You Really Want to Prove? | SIGPLAN Blog https://blog.sigplan.org/2019/10/17/what-type-soundness-theorem-do-you-really-want-to-prove/ 18 comments
- Functional Geekery Episode 141 – Shriram Krishnamurthi – Functional Geekery https://www.functionalgeekery.com/episode-141-shriram-krishnamurthi/ 1 comment
- GitHub - veyselusta/programming-language-research: Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc. https://github.com/veyselusta/programming-language-research 1 comment
- Programming language design and compilers: where to start? https://claucece.github.io/2020/06/05/programming-language-design-and-compilers.html 0 comments
- GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc. https://github.com/williamdemeo/TypeFunc 0 comments
- GitHub - morganstanley/hobbes: A language and an embedded JIT compiler https://github.com/morganstanley/hobbes 0 comments
Related searches:
Search whole site: site:www.cs.cmu.edu
Search title: Practical Foundations for Programming Languages
See how to search.