List Comprehensions and the Relational Calculus (1988)

by Trinder P W Wadler P L
Venue:Proceedings of the 1988 Glasgow Workshop on Functional Programming