Runtime Checks personal blog
Where Do Type Systems Come From?
Every time I want to quickly understand something about an advanced type system or programming language concept I get lost when I see something like this on Wikipedia:
- Points
- 285
- HN comments
- 349
- Submissions
- 2
- Cited by
- 0 commenters
Programming LanguagesMath & Algorithms2017
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 7, 2017 | Where Do Type Systems Come From? by philix001 | 285 | 164 |
| Sep 30, 2021 | Where do type systems come from? (2017) by signa11 | 205 | 185 |
