@inproceedings{refinements_for_free,
  author    = {Cohen, Cyril and D\'en\`es, Maxime and M\"ortberg, Anders},
  title     = {{Refinements for Free!}},
  keywords  = {Coq; Data refinements; Formal proofs; Efficient algorithms and data structures; Parametricity},
  booktitle = {Certified Programs and Proofs},
  series    = {Lecture Notes in Computer Science},
  year      = {2013},
  volume    = {8307},
  pages     = {147-162},
  isbn      = {978-3-319-03544-4},
  editor    = {Gonthier, Georges and Norrish, Michael},
  doi       = {10.1007/978-3-319-03545-1_10},
  url       = {http://dx.doi.org/10.1007/978-3-319-03545-1_10},
  publisher = {Springer International Publishing},
}