Automatic Data Structure Choice in a Language of Very High Level.

Jacob T. Schwartz

Browse the full POPL paper archive.