Safe Manual Memory Management with Coeffects

In this post I talk about Crary et al.'s Calculus of Capabilities, how it can be used for safe manual memory management without requiring values be used linearly in any way, and why I chose it for SaberVM.