Tosca Klijnsma, Tim Steenvoorden. Semantic Equivalence of Task-Oriented Programs in TopHat. In Wouter Swierstra, Nicolas Wu, editors, Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers. Volume 13401 of Lecture Notes in Computer Science, pages 100-125, Springer, 2022. [doi]
Abstract is missing.