Login
From:
Ryan's Blog
(Uncensored)
subscribe
Safe Manual Memory Management with Coeffects
https://ryanbrewer.dev/posts/safe-mmm-with-coeffects/
links
backlinks
Roast topics
Find topics
Find it!
Using ideas from Crary et al.'s Calculus of Capabilities, I discuss the coeffectful memory management used in SaberVM. Read more here!
