@article{Hin10Con,
  title = "Typed Quote/Antiquote---Or: Compile-time Parsing",
  author = "Hinze, Ralf",
  year = "2011",
  journal = "JFP",
  note = "to appear",
}