@misc{HiP02Typ,
  author = "Hinze, Ralf and Paterson, Ross",
  note = "in preparation",
  title = "Derivation of a Typed Functional {LR} Parser",
  year = "2003",
}