In: 24th International Symposium on Trends in Functional Programming (TFP). International Symposium on Trends in Functional Programming (TFP-2023), January 12-15, Boston, MA, USA, 2023.
F. Al-Hafez; D. Tateo; O. Arenz; G. Zhao; J. Peters
In: 15th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-2023), July 18-19, Gießen, Germany, 2023.