[PLDI24] Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in(…) | ACM SIGPLAN | Podwise