list | abstracts | bib ]

Programming with Enumerable Sets of Structures

paper pdf   

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,
  localurl = {http://lara.epfl.ch/~kuncak/papers/KurajETAL15ProgrammingEnumerableSetsStructures.pdf}
}

list | abstracts | bib ]