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
Linking pages
- This is why you should never use de Bruijn indices, especially if you program in Rust — Askar Safin https://safinaskar.writeas.com/this-is-why-you-should-never-use-de-bruijn-indices-especially-if-you-program 29 comments
- Jesper Cockx - Agda Core: The Dream and the Reality https://jesper.cx/posts/agda-core.html 10 comments
Linked pages
Related searches:
Search whole site: site:jesper.cx
Search title: Jesper Cockx - 1001 Representations of Syntax with Binding
See how to search.