Links to papers for "Functional but in-place"

Stream: Lean for Scientists and Engineers 2024

[Eric Taucher]

The class "Polymorphic functions for floats and reals; lists" noted "functional but in-place"

Here are the related papers

"The Lean 4 Theorem Prover and Programming Language (System Description)" by Leonardo de Moura and Sebastian Ullrich (pdf)

"Perceus: Garbage Free Reference Counting with Reuse" by Alex Reinking, Ningning Xie, Leonardo de Moura and Daan Leijen (pdf)

"Counting Immutable Beans - Reference Counting Optimized for Purely Functional Programming" by Sebastian Ullrich and Leonardo de Moura (pdf)