A collecting interpretation of expressions (without powerdomains (1988)

by P Hudak, J Young
Venue:In Proceedings of the 15th Annual ACM Symposium on the Principles of Programming Languages