SHAPES, a type-based abstraction for expressing memory layout invariants: doc.ic.ac.uk/~scd/ShapesOnw
Conversation
Replying to
This looks super neat/inspiring! Any idea if the implementation was published online? All I can find is this empty repo: github.com/jupvfranco/sha🤔 cc.