@inproceedings{DSLExtract09,
  author = {Andy Gill},
  title = {Type-Safe Observable Sharing in {H}askell},
  booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} {H}askell Symposium},
  year = {2009},
  month = {Sep},
  abstract = {Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-called deep DSLs to be compiled and processed. In this paper, we describe and explore uses of an IO function for reification which allows direct observation of sharing.}
}