Here be writings, tagged as "programming-languages".
Remove filter

• 2024-03-19 De Bruijn indices, in TAPL or PLFA style?
• 2023-07-11 What is abstracting binding trees?
• 2023-06-20 Relevance logic and bidirectional typing
• 2021-12-24 On eliminating nat
• 2020-12-31 Notes on PLT Redex