@inproceedings{Hin10Typ,
  title = "Type Fusion",
  author = "Hinze, Ralf",
  year = "2010",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST 2010)",
  editor = "Pavlovic, Dusko and Johnson, Michael",
  location = "Manoir St-Castin, Québec, Canada",
  note = "to appear",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "6486",
}