@patrikja@functional.cafe2025-10-18 06:03:51
Destination calculus: A linear λ-calculus for purely functional memory writes
Presented by Arnaud Spiwack. Joint work with Thomas Bagrel,
#icfpsplash25
@patrikja@functional.cafe2025-10-18 06:03:51
@patrikja@functional.cafeDestination calculus: A linear λ-calculus for purely functional memory writes
Presented by Arnaud Spiwack. Joint work with Thomas Bagrel,
#icfpsplash25