Hacker News
- A Lambda Calculus with Coroutines and Heapless, Directly-Called Closures https://ayazhafiz.com/articles/23/a-lambda-calculus-with-coroutines-and-heapless-closures#source-language 23 comments
- Emulating the Lambda Calculus in TypeScript's Type System (2021) https://ayazhafiz.com/articles/21/typescript-type-system-lambda-calculus 2 comments
- Why don't more languages offer flow typing? https://ayazhafiz.com/articles/22/why-dont-more-languages-offer-flow-typing 122 comments
Lobsters
- A Lambda Calculus With Coroutines and Heapless, Directly-Called Closures https://ayazhafiz.com/articles/23/a-lambda-calculus-with-coroutines-and-heapless-closures 8 comments compilers , plt
- Why Don't More Languages Offer Flow Typing? https://ayazhafiz.com/articles/22/why-dont-more-languages-offer-flow-typing 6 comments plt