twenty years
Jul. 12th, 2025 05:32 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
graydon2I just noticed this post from around when I first learned the term "substructural type system" is (almost) 20 years old. That sure was a while ago.
(I knew the space of ideas already but was working my way through more legit treatments of it. amusingly none of the research links in that post are live anymore -- back then arxiv.org was still "xxx.lanl.gov" haha)
(I knew the space of ideas already but was working my way through more legit treatments of it. amusingly none of the research links in that post are live anymore -- back then arxiv.org was still "xxx.lanl.gov" haha)
![[site community profile]](https://www.dreamwidth.org/img/comm_staff.png){kind=small}