[GALOP'24] On Interaction, Efficiency, and Reversibility | ACM SIGPLAN | Podwise