@Misc{alti:spf06,
  author =	 {Peter Morris and Thorsten Altenkirch},
  title =	 {Generic programming for dependent types},
  howpublished = {submitted for publication},
  month =	 {June},
  year =	 {2006},
}