Peter Schneider-Kamp

• Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practices of Declarative Programming