@Talk{		  talk:brucker:encoding:2010,
  isodate	= {2010-06-18},
  title		= {Encoding Object-oriented Datatypes in HOL: Extensible
		  Records Revisited},
  author	= {Achim D. Brucker},
  lecturer	= {Achim D. Brucker},
  day		= {28},
  event		= {Isabelle Developers Workshop (IDW)},
  month		= jun,
  year		= {2010},
  address	= {Cambridge, UK},
  slides	= {http://www.brucker.ch/bibliography/download/2010/talk-brucker-encoding-2010.pdf},
  handout	= {http://www.brucker.ch/bibliography/download/2010/talk-brucker-encoding-2010-2x2.pdf},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/talk-brucker-encoding-2010}
		  
}