Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
scientific article; zbMATH DE number 6258724