6. TFP 2005: Tallinn, Estonia

Marko C. J. D. van Eekelen (Ed.): Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005. Trends in Functional Programming 6 Intellect 2007, ISBN 978-1-84150-176-5 BibTeX

Kevin Millikin: A new approach to one-pass transformations. 1-13 BibTeX
Neil Mitchell, Colin Runciman: A static checker for safe pattern matching in Haskell. 15-30 BibTeX
Chris Ryder, Simon Thompson: Software metrics: measuring Haskell. 31-46 BibTeX
Martin Elsman: Type-specialized serialization with sharing. 47-62 BibTeX
Kenichi Asai: Logical relations for call-by-value delimited continuations. 63-78 BibTeX
James Chapman, Thorsten Altenkirch, Conor McBride: Epigram reloaded: a standalone typechecker for ETT. 79-94 BibTeX
Huiqing Li, Simon Thompson: Formalisation of Haskell refactorings. 95-110 BibTeX
Susumu Katayama: Systematic search for lambda expressions. 111-126 BibTeX
Morten Rhiger: First-class open and closed code framgents. 127-144 BibTeX
Tarmo Uustalu, Varmo Vene: Comonadic functional attribute evaluation. 145-162 BibTeX
Pieter W. M. Koopman, Rinus Plasmeijer: Generic generation of the elements of data types. 163-178 BibTeX
Daan Leijen: Extensible records with scoped labels. 179-194 BibTeX
Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace: The Embounded project (project start paper). 195-210 BibTeX
Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska: Mobile Resource Guarantees (project evaluation paper). 211-226 BibTeX