Programming with enumerable sets of structures (2015)

by I Kuraj, V Kuncak, D Jackson
Venue:In OOPSLA