@InProceedings{PittsAM:residb,
  author =	 {M. R. Lakin and A. M. Pitts},
  title =	 {Resolving Inductive Definitions with Binders in
                  Higher-Order Typed Functional Programming},
  booktitle =	 {18th European Symposium on Programming (ESOP~2009)},
  editor =	 {G. Castagna},
  pages =	 {47--61},
  year =	 2009,
  volume =	 5502,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag}
}