@InProceedings{	  abelAltenkirch:msfp08,
  author	= {Andreas Abel and Thorsten Altenkirch},
  title		= {A Partial Type Checking Algorithm for {Type:Type}},
  optcrossref	= {},
  optkey	= {},
  booktitle	= {Int. Wksh. on Mathematically Structured Functional
		  Programming},
  optpages	= {},
  year		= {2008},
  editor	= {Venanzio Capretta and Conor McBride},
  optvolume	= {},
  optnumber	= {},
  optseries	= {},
  optaddress	= {},
  optmonth	= {},
  optorganization={},
  optpublisher	= {},
  optnote	= {},
  opturl	= {},
  optpostscript	= {},
  optpdf	= {},
  optdvi	= {},
  optabstract	= {}
}