@proceedings{TFP2005,
  editor    = {Marko C. J. D. van Eekelen},
  title     = {Revised Selected Papers from the Sixth Symposium on Trends
               in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24
               September 2005},
  booktitle = {Trends in Functional Programming},
  publisher = {Intellect, UK/The University of Chicago Press, USA},
  series    = {Trends in Functional Programming},
  volume    = {6},
  year      = {2007},
  isbn      = {978-1-84150-176-5},
}

@inproceedings{Millikin05:TFP_2005_Intellect,
  author    = {Kevin Millikin},
  title     = {{A New Approach to One-pass Transformations}},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {1--13},
  crossref  = {TFP2005},
}

@inproceedings{MitchellR05:TFP_2005_Intellect,
  author    = {Neil Mitchell and Colin Runciman},
  title     = {{A Static Checker for Safe Pattern Matching in Haskell}},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {15--30},
  crossref  = {TFP2005},
}

@inproceedings{RyderT05:TFP_2005_Intellect,
  author    = {Chris Ryder and Simon J. Thompson},
  title     = {{Software Metrics: Measuring Haskell}},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {31--46},
  crossref  = {TFP2005},
}

@inproceedings{Elsman05:TFP_2005_Intellect,
  author    = {Martin Elsman},
  title     = {{Type-specialized Serialization with Sharing}},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {47--62},
  crossref  = {TFP2005},
}

@inproceedings{Asai05:TFP_2005_Intellect,
  author    = {Kenichi Asai},
  title     = {{Logical Relations for Call-by-value Delimited Continuations}},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {63--78},
  crossref  = {TFP2005},
}

@inproceedings{ChapmanAM05:TFP_2005_Intellect,
  author    = {James Chapman and Thorsten Altenkirch and Conor McBride},
  title     = {{Epigram Reloaded: a Standalone Typechecker for ETT}},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {79--94},
  crossref  = {TFP2005},
}

@inproceedings{LiT05:TFP_2005_Intellect,
  author    = {Huiqing Li and Simon J. Thompson},
  title     = {{Formalisation of Haskell Refactorings}},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {95--110},
  crossref  = {TFP2005},
}

@inproceedings{Katayama05:TFP_2005_Intellect,
  author    = {Susumu Katayama},
  title     = {{Systematic Search for Lambda Expressions}},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {111--126},
  crossref  = {TFP2005},
}

@inproceedings{Rhiger05:TFP_2005_Intellect,
  author    = {Morten Rhiger},
  title     = {{First-class Open and Closed Code Fragments}},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {127--144},
  crossref  = {TFP2005},
}

@inproceedings{UustaluV05:TFP_2005_Intellect,
  author    = {Tarmo Uustalu and Varmo Vene},
  title     = {{Comonadic Functional Attribute Evaluation}},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {145--162},
  crossref  = {TFP2005},
}

@inproceedings{KoopmanP05:TFP_2005_Intellect,
  author    = {Pieter W. M. Koopman and Rinus Plasmeijer},
  title     = {{Generic Generation of the Elements of Data Types}},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {163--178},
  crossref  = {TFP2005},
}

@inproceedings{Leijen05:TFP_2005_Intellect,
  author    = {Daan Leijen},
  title     = {{Extensible Records with Scoped Labels}},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {179--194},
  crossref  = {TFP2005},
}

@inproceedings{HammondDFHHJLMPSSW05:TFP_2005_Intellect,
  author    = {Kevin Hammond and
               Roy Dyckhoff and
               Christian Ferdinand and
               Reinhold Heckmann and
               Martin Hofmann and
               Steffen Jost and
               Hans-Wolfgang Loidl and
               Greg Michaelson and
               Robert F. Pointon and
               Norman Scaife and
               Jocelyn S{\'e}rot and
               Andy Wallace},
  title     = {{The Embounded Project (Project Start Paper)}},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {195--210},
  crossref  = {TFP2005},
}

@inproceedings{SannellaHAGSBLMMS05:TFP_2005_Intellect,
  author    = {Donald Sannella and
               Martin Hofmann and
               David Aspinall and
               Stephen Gilmore and
               Ian Stark and
               Lennart Beringer and
               Hans-Wolfgang Loidl and
               Kenneth MacKenzie and
               Alberto Momigliano and
               Olha Shkaravska},
  title     = {{Mobile Resource Guarantees (Project Evaluation Paper)}},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {211--226},
  crossref  = {TFP2005},
}