Making Referential Stability a Type

(jovidecroock.com)

12 points | by acmnrs 4 days ago