Programming with enumerable sets of structures.

Ivan Kuraj, Viktor Kuncak, Daniel Jackson

Browse the full OOPSLA paper archive.