News for hackers. Stuff that matters.
Re:Kind: A Modern Proof Language by creata on Wednesday August 11, 2021 @05:19PM (#28147922)
Agreed: I meant that there were superficial similarities, not merely superficial similarities. Here's the original paper (I think?) on self types; maybe there's an obvious link in there.

https://homepage.divms.uiowa.edu/~astump/papers/fu-stump-rta...

There are no comments on this comment yet.