most citedPolymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.PLShow all

2 papers · 1 filter

cs.PL2023★ 2 cited

Graph IRs for Impure Higher-Order Languages (Technical Report)

Oliver Bračevac, Guannan Wei, Songlin Jia +4

This is a companion report for the OOPSLA 2023 paper of the same title, presenting a detailed end-to-end account of the graph IR, at a level of detail beyond a r…

cs.PL2023★ 1 cited

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs

Guannan Wei, Oliver Bračevac, Songlin Jia +2

Reachability types are a recent proposal that has shown promise in scaling to higher-order but monomorphic settings, tracking aliasing and separation on top of a substrate inspired…