Programming with Enumerable Sets of Structures

Citation

Ivan Kuraj, Viktor Kuncak, and Daniel Jackson. Programming with enumerable sets of structures. In OOPSLA, 2015.

BibTex Entry

@inproceedings{KurajETAL15ProgrammingEnumerableSetsStructures,
  author = {Ivan Kuraj and Viktor Kuncak and Daniel Jackson},
  title = {Programming with Enumerable Sets of Structures},
  booktitle = {OOPSLA},
  year = 2015
}