researchers with a paper here
collaborating institutions

1 paper

cs.PL2026

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

Yusuke Matsushita, Hiromi Ishii

A promising approach to unifying functional and imperative programming paradigms is to localize mutation using linear or affine types. Haskell, a purely functional language, was re…