Hacker News
- What Declarative Languages Are (2013) https://semantic-domain.blogspot.com/2013/07/what-declarative-languages-are.html 12 comments
- Thought Experiment: An Introductory Compilers Class https://semantic-domain.blogspot.com/2020/02/thought-experiment-introductory.html 22 comments
- Every Finite Automaton Has a Corresponding Regular Expression https://semantic-domain.blogspot.com/2019/10/every-finite-automaton-has.html 44 comments
- Are functional programs easier to verify than imperative programs? (2018) https://semantic-domain.blogspot.com/2018/04/are-functional-programs-easier-to.html?m=1 2 comments
- The Worm Ouroboros https://semantic-domain.blogspot.com/2018/08/the-worm-ouroboros.html 12 comments
- How to implement a spreadsheet http://semantic-domain.blogspot.com/2015/07/how-to-implement-spreadsheet.html 68 comments
Lobsters
- Linear-time parser combinators https://semantic-domain.blogspot.com/2023/07/linear-time-parser-combinators.html 7 comments compilers , ml
- The Golden Age of PL Research https://semantic-domain.blogspot.com/2022/09/the-golden-age-of-pl-research.html 11 comments plt
- The Golden Age of PL Research https://semantic-domain.blogspot.com/2022/09/the-golden-age-of-pl-research.html?m=1 6 comments formalmethods , plt
- What Declarative Languages Are (2013) https://semantic-domain.blogspot.com/2013/07/what-declarative-languages-are.html?m=1 14 comments plt
- Thought Experiment: An Introductory Compilers Class https://semantic-domain.blogspot.com/2020/02/thought-experiment-introductory.html 3 comments compilers , education
- On the Relationship Between Static Analysis and Type Theory https://semantic-domain.blogspot.com/2019/08/on-relationship-between-static-analysis.html 9 comments formalmethods , plt
- How to implement a spreadsheet http://semantic-domain.blogspot.com/2015/07/how-to-implement-spreadsheet.html 7 comments ml
- A Typed, Algebraic Approach to Parsing http://semantic-domain.blogspot.com/2018/07/a-typed-algebraic-approach-to-parsing.html 7 comments compsci
- Are functional programs easier to verify than imperative programs? http://semantic-domain.blogspot.com/2018/04/are-functional-programs-easier-to.html 4 comments formalmethods , plt
- Are functional programs easier to verify than imperative programs? http://semantic-domain.blogspot.com/2018/04/are-functional-programs-easier-to.html 11 comments haskell
- Are functional programs easier to verify than imperative programs? http://semantic-domain.blogspot.com/2018/04/are-functional-programs-easier-to.html 9 comments rust
- John C. Reynolds passed away http://semantic-domain.blogspot.com/2013/04/john-c-reynolds-june-1-1935-april-28.html 3 comments compsci
- Total Functional Programming in a Partial Impure Language http://semantic-domain.blogspot.com/2012/12/total-functional-programming-in-partial.html 4 comments haskell