adishavit.github.io
Affine Space Types
Well defined semantics for positions and displacements.
Adi Shavit