Logical and Computational Aspects of Programming with Sets/Bags/Lists.

Val Tannen, Ramesh Subrahmanyam

Browse the full ICALP paper archive.