Hacker News
- Crash Course on Notation in Programming Language Theory http://siek.blogspot.com/2012/07/crash-course-on-notation-in-programming.html 14 comments
- Help! We're Failing to Prove Correctness of Closure Conversion using Denotational Semantics (Graph Models) https://siek.blogspot.com/2023/06/help-were-failing-to-prove-correctness.html 5 comments programminglanguages
- Type Safety in 10 Easy, 4 Medium, and 1 Hard Lemma using Step-indexed Logical Relations https://siek.blogspot.com/2023/04/type-safety-in-10-easy-4-medium-and-1.html 2 comments programminglanguages
- Crash Course on Notation in Programming Language Theory http://siek.blogspot.com/2012/07/crash-course-on-notation-in-programming.html 23 comments programming