Logical and Computational Aspects of Programming with Sets/Bags/Lists (1991)

Cached

Download Links

by Val Breazu-tannen , Ramesh Subrahmanyam
Venue:In LNCS 510: Proceedings of 18th International Colloquium on Automata, Languages, and Programming
Citations:63 - 2 self