I recently read this series of papers, and while I don’t like the exact specific APIs they cook up, the core insights are wonderful. The fractional piece of a

I recently read this series of papers, and while I don’t like the exact specific APIs they cook up, the core insights are wonderful. The fractional piece of a generated symbol / variable is a really nice way to think about may-alias information. Likewise the way they talk about uniqueness as aliasing info from the past and linearity as aliasing info for the future, in the precursor paper, is a really nice explanation, that while being per se folk lore, is really hard to remember or explain usually.