- Concepts, Techniques, and Models of Computer Programming (Better known as CTM) http://www.info.ucl.ac.be/~pvr/book.html 7 comments programming
Lambda the Ultimate
Linking pages
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- Programming paradigms for dummies: what every programmer should know | the morning paper https://blog.acolyer.org/2019/01/25/programming-paradigms-for-dummies-what-every-programmer-should-know/ 2 comments
- 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
- The evergreen cache. How we built a cache that’s never stale | by Gustavo Bicalho | Building Nubank | Medium https://medium.com/building-nubank/the-evergreen-cache-d0e6d9df2e4b 0 comments
- Preact internals #2: the component model | by Adam Solove | Medium https://medium.com/@asolove/preact-internals-2-the-component-model-36a05e32957b#.vgh2raprl 0 comments
- GitHub - swannodette/logic-tutorial: A Very Gentle Introduction to Relational Programming https://github.com/swannodette/logic-tutorial 0 comments
Related searches:
Search whole site: site:info.ucl.ac.be
Search title: Concepts, Techniques, and Models of Computer Programming
See how to search.