@inproceedings{Hin02Boo,
  title = "Bootstrapping one-sided flexible arrays",
  author = "Hinze, Ralf",
  year = "2002",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (ICFP '02)",
  editor = "{Peyton Jones}, Simon",
  isbn = "1-58113-487-8",
  location = "Pittsburgh, PA, USA",
  month = "oct",
  pages = "2-13",
  publisher = "ACM",
  doi = "10.1145/581478.581480",
}