| | Take-aways from using Deduce in the classroom (siek.blogspot.com) |
| 2 points by matt_d on Oct 10, 2024 | past |
|
| | Sequential Search, Correctly (siek.blogspot.com) |
| 1 point by thunderbong on June 15, 2024 | past |
|
| | Sequential Search, Correctly (siek.blogspot.com) |
| 20 points by matt_d on June 14, 2024 | past |
|
| | Data Structures and Algorithms, Correctly (siek.blogspot.com) |
| 2 points by thunderbong on June 13, 2024 | past |
|
| | Data Structures and Algorithms, Correctly (siek.blogspot.com) |
| 2 points by matt_d on June 12, 2024 | past |
|
| | Crash Course on Notation in Programming Language Theory (2012)Y (siek.blogspot.com) |
| 1 point by Tomte on Feb 20, 2024 | past |
|
| | Type Safety in 10 Easy, 4 Medium, and 1 Hard Lemma using Step-indexed LRs (siek.blogspot.com) |
| 2 points by matt_d on April 17, 2023 | past |
|
| | Strongly Connected Components and Kosaraju's Algorithm (siek.blogspot.com) |
| 2 points by matt_d on March 27, 2021 | past |
|
| | Type Safety in Two Easy Lemmas (siek.blogspot.com) |
| 2 points by sorrow17 on July 12, 2020 | past |
|
| | Type Safety in Two Easy Lemmas (siek.blogspot.com) |
| 2 points by matt_d on July 10, 2020 | past | 1 comment |
|
| | Type Safety in Five Easy Lemmas (siek.blogspot.com) |
| 2 points by chewxy on Oct 10, 2014 | past |
|
| | The Publication Process in Programming Languages (siek.blogspot.com) |
| 1 point by scott_s on Feb 20, 2014 | past |
|
| | Crash Course on Notation in Programming Language Theory (siek.blogspot.com) |
| 133 points by bshanks on Jan 10, 2014 | past | 14 comments |
|
| | Type Safety in Three Easy Lemmas (siek.blogspot.com) |
| 2 points by munin on May 28, 2013 | past |
|
