@TechReport{	  kopf.ea:eliminating:2005-b,
  author	= {Boris K\"opf and Heiko Mantel},
  institution	= {ETH Z\"urich},
  language	= {USenglish},
  month		= {October},
  number	= 498,
  pdf		= {papers/2005/2005koepf-mantel.pdf},
  ps		= {papers/2005/2005koepf-mantel.ps.gz},
  title		= {Eliminating Implicit Information Leaks by Transformational
		  Typing and Unification},
  year		= 2005,
  user		= {bkoepf}
}