Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

Pure Borrow is a new framework in Linear Haskell that realizes Rust-style borrowing with purity, developed by Yusuke Matsushita and Hiromi Ishii. The paper on the work was recently published at PLDI '26.

Yusuke will give an in-person talk on Pure Borrow in Cambridge. What is Rust-style borrowing? How does Pure Borrow work? Why is the purity preserved? Please come to the talk to find out.