Paper

Memory as a cache: Exact context reuse and deletion by construction · ByteTrail