Tweag by Modus Create
@tweag.io
Tweag is the home of specialized engineering and advisory for Modus Create, uniting engineers and researchers to solve complex challenges. With expertise in functional engineering, build systems like Nix, Bazel, and Buck2, and blockchain like Cardano.
@aspiwack.bsky.social will be presenting "Destination calculus: A linear λ-calculus for purely functional memory writes", joint work with Thomas Bagrel, at OOPSLA on Saturday 18th 2025.splashcon.org/details/OOPS...
Destination calculus: A linear λ-calculus for purely functional memory writes (SPLASH 2025 - OOPSLA) - SPLASH 2025
Distinguished Reviewer Awards This year, we had an exceptional Review Committee with over 100 RC members and 8 Associate Chairs. Nevertheless, several people in our group of AEs and chairs explicitly…
2025.splashcon.org
October 2, 2025 at 9:00 AM
@aspiwack.bsky.social will be presenting "Destination calculus: A linear λ-calculus for purely functional memory writes", joint work with Thomas Bagrel, at OOPSLA on Saturday 18th 2025.splashcon.org/details/OOPS...