@proceedings{TFP2009,
  editor = {Zolt{\'a}n Horv{\'a}th and Vikt{\'o}ria Zs{\'o}k and Peter Achten and Pieter Koopman},
  title = {Proceedings of the Tenth Symposium on Trends in Functional Programming (TFP'09)},
  month = {June 2--4},
  year = {2009},
  location = {Selye Janos University, Komarno, Slovakia},
  publisher = {Intellect, UK/The University of Chicago Press, USA},
  series    = {Trends in Functional Programming},
  volume    = {10},
  isbn      = {978-1-84150-405-6},
  url = {http://www-fp.cs.st-andrews.ac.uk/tifp/}
  }

@InProceedings{horstmeyer09:TFP_2009_Intellect,
  author = 	 {Thomas Horstmeyer and Rita Loogen},
  title = 	 {{Graph-based Communication in Eden}},
  booktitle = {Trends in Functional Programming},
  year      = 2009,
  pages     = {1--16},
  crossref  = {TFP2009}}

@InProceedings{hu09:TFP_2009_Intellect,
  author = 	 {Liyang Hu and Graham Hutton},
  title = 	 {{Compiling Concurrency Correctly: Cutting out the Middle Man}},
  booktitle = {Trends in Functional Programming},
  year      = 2009,
  pages     = {17--32},
  crossref  = {TFP2009}}

@InProceedings{guo09:TFP_2009_Intellect,
  author = 	 {Jing Guo and Jeyarajan Thiyagalingam and Sven-Bodo Scholz},
  title = 	 {{Towards Compiling SAC to CUDA}},
  booktitle = {Trends in Functional Programming},
  year      = 2009,
  pages     = {33--48},
  crossref  = {TFP2009}}

@InProceedings{aswad09:TFP_2009_Intellect,
  author = 	 {Mustafa Aswad and Phil Trinder and Abdallah Al Zain and Greg Michaelson and Jost Berthold},
  title = 	 {{Low Pain vs No Pain Multi-core Haskells}},
  booktitle = {Trends in Functional Programming},
  year      = 2009,
  pages     = {49--64},
  crossref  = {TFP2009}}

@InProceedings{sanchez-gil09,
  author = 	 {Lidia S{\'a}nchez-Gil and Mercedes Hidalgo-Herrero and Yolanda Ortega-Mall{\'e}n},
  title = 	 {{An Operational Semantics for Distributed Lazy Evaluation}},
  booktitle = {Trends in Functional Programming},
  year      = 2009,
  pages     = {65--80},
  crossref  = {TFP2009}}

@InProceedings{zerny09:TFP_2009_Intellect,
  author = 	 {Ian Zerny},
  title = 	 {{On Graph Rewriting, Reduction and Evaluation}},
  booktitle = {Trends in Functional Programming},
  year      = 2009,
  pages     = {81--96},
  crossref  = {TFP2009}}



@InProceedings{james09:TFP_2009_Intellect,
  author = 	 {Daniel W. H. James and Ralf Hinze},
  title = 	 {{A Reflection-based Proof Tactic for Lattices in Coq}},
  booktitle = {Trends in Functional Programming},
  year      = 2009,
  pages     = {97--112},
  crossref  = {TFP2009}}

@InProceedings{jeurnig09:TFP_2009_Intellect,
  author = 	 {Johan Jeurnig and Jos{\'e} Pedro Magalh{\~a}es and Bastiaan Heeren},
  title = 	 {{Generic Programming for Domain Reasoners}},
  booktitle = {Trends in Functional Programming},
  year      = 2009,
  pages     = {113--128},
  crossref  = {TFP2009}}

@InProceedings{kahl09:TFP_2009_Intellect,
  author = 	 {Wolfram Kahl},
  title = 	 {{Haskell Module Tools for Liberating Type Class Design}},
  booktitle = {Trends in Functional Programming},
  year      = 2009,
  pages     = {129--144},
  crossref  = {TFP2009}}

@InProceedings{jeltsch09:TFP_2009_Intellect,
  author = 	 {Wolfgang Jeltsch},
  title = 	 {{Signals, Not Generators!}},
  booktitle = {Trends in Functional Programming},
  year      = 2009,
  pages     = {145--160},
  crossref  = {TFP2009}}

@InProceedings{nielsen09:TFP_2009_Intellect,
  author = 	 {Tom Nielsen and Tom Matheson and Henrik Nilsson},
  title = 	 {{Braincurry: A Domain-specific Language for Integrative Neuroscience}},
  booktitle = {Trends in Functional Programming},
  year      = 2009,
  pages     = {161--176},
  crossref  = {TFP2009}}