For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Bidirectional typechecking that does not stop (semantic-domain.blogspot.com)
1 point by fanf2 79 days ago | past
What Declarative Languages Are (semantic-domain.blogspot.com)
2 points by iamwil 11 months ago | past
What Declarative Languages Are (semantic-domain.blogspot.com)
1 point by fanf2 11 months ago | past
What Declarative Languages Are (semantic-domain.blogspot.com)
3 points by thunderbong 12 months ago | past
The Relationship Between Static Analysis and Type Theory (semantic-domain.blogspot.com)
3 points by luu on March 5, 2025 | past
Linear-Time Parser Combinators (semantic-domain.blogspot.com)
4 points by fanf2 on Dec 23, 2024 | past
How to Read Papers (semantic-domain.blogspot.com)
2 points by Smaug123 on Dec 20, 2024 | past
The golden age of PL research (semantic-domain.blogspot.com)
3 points by fanf2 on Oct 9, 2024 | past
Linear-Time Parser Combinators (semantic-domain.blogspot.com)
23 points by fanf2 on July 22, 2023 | past | 1 comment
The Golden Age of PL Research (semantic-domain.blogspot.com)
2 points by jasim on April 12, 2023 | past
Simple Type Inference for System F (semantic-domain.blogspot.com)
1 point by todsacerdoti on Sept 18, 2022 | past
Semantic Domain: The Golden Age of PL Research (semantic-domain.blogspot.com)
2 points by myth_drannon on Sept 17, 2022 | past
The Golden Age of Programming Languages Research (semantic-domain.blogspot.com)
2 points by matt_d on Sept 15, 2022 | past
Five (and a Half) Derivatives in Language Theory (semantic-domain.blogspot.com)
2 points by panic on Feb 23, 2021 | past
What Declarative Languages Are (2013) (semantic-domain.blogspot.com)
36 points by tel on April 23, 2020 | past | 12 comments
Thought Experiment: An Introductory Compilers Class (semantic-domain.blogspot.com)
96 points by ingve on Feb 17, 2020 | past | 22 comments
Thought Experiment: An Introductory Compilers Class (semantic-domain.blogspot.com)
2 points by matt_d on Feb 17, 2020 | past
Every Finite Automaton Has a Corresponding Regular Expression (semantic-domain.blogspot.com)
94 points by lelf on Nov 20, 2019 | past | 44 comments
Are functional programs easier to verify than imperative programs? (2018) (semantic-domain.blogspot.com)
4 points by luu on Oct 4, 2019 | past | 2 comments
On the Relationship Between Static Analysis and Type Theory (semantic-domain.blogspot.com)
2 points by matt_d on Aug 25, 2019 | past
Implementing Inverse Bidirectional Typechecking (semantic-domain.blogspot.com)
1 point by colinprince on May 20, 2019 | past
How to Implement a Spreadsheet (semantic-domain.blogspot.com)
4 points by signa11 on May 19, 2019 | past | 1 comment
What Declarative Languages Are (2013) (semantic-domain.blogspot.com)
1 point by tel on Feb 7, 2019 | past
Are functional programs easier to verify than imperative programs? (semantic-domain.blogspot.com)
2 points by mpweiher on Jan 25, 2019 | past
The Worm Ouroboros (semantic-domain.blogspot.com)
44 points by octosphere on Aug 3, 2018 | past | 12 comments
Are functional programs easier to verify than imperative programs? (semantic-domain.blogspot.com)
3 points by ingve on April 30, 2018 | past
Are functional programs easier to verify than imperative programs? (2018) (semantic-domain.blogspot.com)
3 points by hwayne on April 26, 2018 | past
Error Handling in Menhir (semantic-domain.blogspot.com)
2 points by potomak on Nov 17, 2016 | past
How to implement a spreadsheet (semantic-domain.blogspot.com)
173 points by kristianp on July 24, 2015 | past | 68 comments
Semantic Domain: Garbage collection and purity (semantic-domain.blogspot.com)
1 point by zekers on Dec 12, 2014 | past

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You