Automatic Data Structure Selection in SETL.

Edmond Schonberg, Jacob T. Schwartz, Micha Sharir

Browse the full POPL paper archive.