Lambda the Ultimate
Linking pages
- Part 0: Designing a Language without a Parser · thunderseethe's devlog https://thunderseethe.dev/posts/type-inference/ 135 comments
- What is “Open Recursion”? – journal.stuffwithstuff.com http://journal.stuffwithstuff.com/2013/08/26/what-is-open-recursion/ 70 comments
- GitHub - morganstanley/hobbes: A language and an embedded JIT compiler https://github.com/Morgan-Stanley/hobbes 69 comments
- A circuit-like notation for lambda calculus – csvoss.com https://csvoss.com/circuit-notation-lambda-calculus 42 comments
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- Introduction to Type-Driven Development with Rust | by Takanori Ishibashi | Medium https://medium.com/@11takanori/introduction-to-type-driven-development-with-rust-6f8a767cc3df?amp%3Bsk=91f9cca48aa5b2ba4cf562a678af404e&source=friends_link 26 comments
- GitHub - AbdesamedBendjeddou/Rusty-CS: A Computer Science Curriculum with Rust flavor! https://github.com/AbdesamedBendjeddou/Rusty-CS 22 comments
- Developing Statically Typed Programming Language · Minko Gechev's blog https://blog.mgechev.com/2017/08/05/typed-lambda-calculus-create-type-checker-transpiler-compiler-javascript/ 20 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
- 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
- GitHub - gtramontina/lambda: Fun with λ calculus! https://github.com/gtramontina/lambda 16 comments
- Extracting a Verified Interpreter from Isabelle/HOL | Concerning Quality https://concerningquality.com/semantics-extraction-isabelle/ 13 comments
- Introduction to parser combinators – The If Works https://blog.jcoglan.com/2017/07/06/introduction-to-parser-combinators/ 7 comments
- Hilbert's rusty hotel – The If Works https://blog.jcoglan.com/2019/11/22/hilberts-rusty-hotel/ 4 comments
- Making PL Ideas Accessible: An Open-Source, Open-Access, Interactive Journal | SIGPLAN Blog https://blog.sigplan.org/2021/04/13/making-pl-ideas-accessible-an-open-source-open-access-interactive-journal/ 1 comment
- How I accidentally learned Prolog – The If Works https://blog.jcoglan.com/2017/12/31/how-i-accidentally-learned-prolog/ 1 comment
- A Plan for Pugs http://www.perl.com/pub/a/2005/03/03/pugs_interview.html 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
- What is type safety?. Often, we hear that writing softwares… | by Thiago Silva | Medium https://medium.com/@thiago_silva/what-is-type-safety-ceb8f14ee6c3 0 comments
- GitHub - newca12/awesome-rust-formalized-reasoning: An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification. https://github.com/newca12/awesome-rust-formalized-reasoning 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:cis.upenn.edu
Search title: Types and Programming Languages
See how to search.