corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a087d9-70b9-71bf-93ee-3cdc56d58905

Safe Manual Memory Management with Coeffects

ryanbrewer.dev · published 25 January 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at ryanbrewer.dev Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
13
Words captured
2,572

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://ryanbrewer.dev/posts/announcing-svm.html
ryanbrewer.dev
https://en.wikipedia.org/wiki/Continuation-passing_style
en.wikipedia.org
https://dl.acm.org/doi/10.1145/292540.292564
dl.acm.org
https://doc.rust-lang.org/reference/influences.html
doc.rust-lang.org
https://cyclone.thelanguage.org/wiki/Type-Checking%20Regions/
cyclone.thelanguage.org
https://arxiv.org/abs/1907.07283
arxiv.org
https://dl.acm.org/doi/abs/10.1145/3563335
dl.acm.org
https://ryanbrewer.dev/posts/security-crashing-modal-logic.html
ryanbrewer.dev
https://github.com/RyanBrewer317/SaberVM
github.com
Generational References (Expanded) Read at the source ↗
verdagon.dev
https://cyclone.thelanguage.org/
cyclone.thelanguage.org
https://github.com/sponsors/RyanBrewer317
github.com
https://ko-fi.com/ryanbrewer
ko-fi.com