research
∙
09/15/2023
Graph IRs for Impure Higher-Order Languages (Technical Report)
This is a companion report for the OOPSLA 2023 paper of the same title, ...
share
research
∙
09/12/2023
Modeling Reachability Types with Logical Relations
Reachability types are a recent proposal to bring Rust-style reasoning a...
research
∙
07/25/2023
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
Reachability types are a recent proposal that has shown promise in scali...
research
∙
04/27/2019