Ralf Hinze, Wouter Swierstra. Calculating Datastructures. In Ekaterina Komendantskaya, editor, Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings. Volume 13544 of Lecture Notes in Computer Science, pages 62-101, Springer, 2022. [doi]
Abstract is missing.