Hacker News
- 1001 Representations of Syntax with Binding (2021) https://jesper.cx/posts/1001-syntax-representations.html 17 comments
Lobsters
- 1001 Representations of Syntax with Binding (comparison table) (2021) https://jesper.cx/posts/1001-syntax-representations.html 3 comments compilers , formalmethods , haskell , plt
- Agda Core: The Dream and the Reality https://jesper.cx/posts/agda-core.html 2 comments plt
- 6 Reasons in favor of a core language, and 5 against https://jesper.cx/posts/why-not-a-core-language.html 18 comments formalmethods , plt