% the entire TFP04 proceedings
@Proceedings{tfp04,
 title={Trends in Functional Programming},
 booktitle={Trends in Functional Programming},
 volume={5},
 editor={Hans-Wolfgang Loidl},
 publisher={Intellect},
 address={Bristol, UK},
 year={2005},
}


@InProceedings{KesterenEekelenMolTFP04,
  author = 	 {Ron {van Kesteren} and Marko {van Eekelen} and Maarten {de Mol}},
  title = 	 {{Proof Support for General Type Classes}},
 booktitle={Trends in Functional Programming},
 volume=5,
 editor={Hans-Wolfgang Loidl},
 publisher={Intellect},
 address={Bristol, UK},
 year=2004,
 pages={1--16},
}


@InProceedings{ReigTFP04,
  author = 	 {Fermin Reig},
  title = 	 {{Generic proofs for combinator-based generic programs}},
 booktitle={Trends in Functional Programming},
 volume=5,
 editor={Hans-Wolfgang Loidl},
 publisher={Intellect},
 address={Bristol, UK},
 year=2004,
 crossref={tfp04},
 pages={17--32},
}

@InProceedings{DuboisHardinDonzeauTFP04,
 author = 	 {Catherine Dubois and Therese Hardin and Veronique Viguie {Donzeau Gouge}},
 title = 	 {{Building certified components within FOCAL}},
 booktitle={Trends in Functional Programming},
 volume=5,
 editor={Hans-Wolfgang Loidl},
 publisher={Intellect},
 address={Bristol, UK},
 year=2004,
 crossref={tfp04},
 pages={33--48},
}



@InProceedings{HuttonWrightTFP04,
  author = 	 {Graham Hutton and Joel Wright},
  title = 	 {{Calculating an Exceptional Machine}},
 booktitle={Trends in Functional Programming},
 volume=5,
 editor={Hans-Wolfgang Loidl},
 publisher={Intellect},
 address={Bristol, UK},
 year=2004,
 crossref={tfp04},
 pages={49--64},
}

@InProceedings{GhaniUustaluVeneTFP04,
  author = 	 {Neil Ghani and Tarmo Uustalu and Varmo Vene},
  title = 	 {{Generalizing the AUGMENT}},
 booktitle={Trends in Functional Programming},
 volume=5,
 editor={Hans-Wolfgang Loidl},
 publisher={Intellect},
 address={Bristol, UK},
 year=2004,
 crossref={tfp04},
 pages={65--78},
}

@InProceedings{RossbergBotlanTackBrunklausSmolkaTFP04,
  author = 	 {Andreas Rossberg and Didier {Le Botlan} and Guido Tack and Thorsten Brunklaus and Gert Smolka},
  title = 	 {{Alice Through the Looking Glass}},
 booktitle={Trends in Functional Programming},
 volume=5,
 editor={Hans-Wolfgang Loidl},
 publisher={Intellect},
 address={Bristol, UK},
 year=2004,
 crossref={tfp04},
 pages={79--96},
}

@InProceedings{NemethTFP04,
  author = 	 {Laszlo Nemeth},
  title = 	 {{Experiments with GHC's Optimiser}},
 booktitle={Trends in Functional Programming},
 volume=5,
 editor={Hans-Wolfgang Loidl},
 publisher={Intellect},
 address={Bristol, UK},
 year=2004,
 crossref={tfp04},
 pages={97--112},
}


@InProceedings{EversAchtenPlasmeijrTFP04,
  author = 	 {Sander Evers and Peter Achten and Rinus Plasmeijer},
  title = 	 {{Disjoint Forms in Graphical User Interfaces}},
 booktitle={Trends in Functional Programming},
 volume=5,
 editor={Hans-Wolfgang Loidl},
 publisher={Intellect},
 address={Bristol, UK},
 year=2004,
 pages={113--128},
}


@InProceedings{ClericiZoltanTFP04,
  author = 	 {Silvia Clerici and Cristina Zoltan},
  title = 	 {{A Graphic Functional-Dataflow Language}},
 booktitle={Trends in Functional Programming},
 volume=5,
 editor={Hans-Wolfgang Loidl},
 publisher={Intellect},
 address={Bristol, UK},
 year=2004,
 crossref={tfp04},
 pages={122--144},
}