@inproceedings{ICFP06,
  author = {Scott Owens and Matthew Flatt},
  title = {From Structures and Functors to Modules and Units},
  booktitle = {ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming},
  month = sep,
  year = 2006,
  publisher = {ACM Press},
  pages = {87--98},
  doi = {10.1145/1159803.1159815}}