Safe Manual Memory Management with Coeffects (opens in new tab)

(ryanbrewer.dev)

3 pointshoping12y ago1 comments

1 comments

1 comments · 1 top-level

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.

j / k navigate · click thread line to collapse