|
|
| | Take-aways from using Deduce in the classroom (siek.blogspot.com) | |
2 points by matt_d 6 months ago | past
|
|
| | Sequential Search, Correctly (siek.blogspot.com) | |
1 point by thunderbong 10 months ago | past
|
|
| | Sequential Search, Correctly (siek.blogspot.com) | |
20 points by matt_d 10 months ago | past
|
|
| | Data Structures and Algorithms, Correctly (siek.blogspot.com) | |
2 points by thunderbong 10 months ago | past
|
|
| | Data Structures and Algorithms, Correctly (siek.blogspot.com) | |
2 points by matt_d 10 months ago | 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
|
|
|
Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
