@InCollection{alti:checking,
  author =	 {James Chapman and Thorsten Altenkirch and Conor McBride},
  title =	 {Epigram Reloaded: A Standalone Typechecker for {ETT}},
  year =	 {2006},
  booktitle = 	 {Trends in Functional Programming Volume 6},
  publisher =	 {Intellect},
  editor =	 {Marko van Eekelen}
}