@InProceedings{compdata-ist,
  Title = {Compositional Data Types - A Report from the Field},
  Author = {Patrick Bahr},
  Booktitle = {Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software},
  Year = {2011}
}