activity
20232026
most citedComplete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)

2 citations · 5 across the 7 of their papers we have counts for

collaborators
Showing 2023Show 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

Modeling Reachability Types with Logical Relations

Yuyan Bao, Songlin Jia, Guannan Wei +2

Reachability types are a recent proposal to bring Rust-style reasoning about memory properties to higher-level languages, with a focus on higher-order functions, parametric types,…