Published April 20, 2026 | Version v3
Software Open

Artifact for PLDI 2026 "Pure Borrow: Linear Haskell Meets Rust-Style Borrowing"

Authors/Creators

  • 1. EDMO icon Kyoto University
  • 2. JIJ Inc.

Description

The artifact for the paper "Pure Borrow: Linear Haskell Meets Rust-Style Borrowing" by Yusuke Matsushita and Hiromi Ishii, published at PLDI 2026. It includes the Haskell implementation of Pure Borrow and the benchmark suite.

Files

README.md

Files (1.3 GB)

Name Size
md5:e7ab3c532308d192a36755f68beabc88
590.2 MB Download
md5:1306c5aa6264d1d7a0b7e3a931815502
638.9 MB Download
md5:449a2521951032a402135dd3e3902d9c
21.3 MB Download
md5:ffb76e4f56590da144c3a12844dd5392
67.3 kB Download
md5:5a9675929dc8c3b861d2d1c3ba866586
13.8 kB Preview Download

Additional details

Related works

Is supplement to
Publication: 10.1145/3808259 (DOI)

Funding

Kyoto University
Hakubi Project
Japan Society for the Promotion of Science
Foundations and Applications for Robust and High-Performance System Software JP24KJ0133
Japan Society for the Promotion of Science
Research on software contracts for highly interoperable software modules JP20H00582

Software

Repository URL
https://github.com/SoftwareFoundationGroupAtKyotoU/pure-borrow
Programming language
Haskell
Development Status
Active