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 
- Kevin Millikin:
A new approach to one-pass transformations.
1-13
- Neil Mitchell, Colin Runciman:
A static checker for safe pattern matching in Haskell.
15-30
- Chris Ryder, Simon J. Thompson:
Software metrics: measuring Haskell.
31-46
- Martin Elsman:
Type-specialized serialization with sharing.
47-62
- Kenichi Asai:
Logical relations for call-by-value delimited continuations.
63-78
- James Chapman, Thorsten Altenkirch, Conor McBride:
Epigram reloaded: a standalone typechecker for ETT.
79-94
- Huiqing Li, Simon J. Thompson:
Formalisation of Haskell refactorings.
95-110
- Susumu Katayama:
Systematic search for lambda expressions.
111-126
- Morten Rhiger:
First-class open and closed code framgents.
127-144
- Tarmo Uustalu, Varmo Vene:
Comonadic functional attribute evaluation.
145-162
- Pieter W. M. Koopman, Rinus Plasmeijer:
Generic generation of the elements of data types.
163-178
- Daan Leijen:
Extensible records with scoped labels.
179-194
- 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
- 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
Last update Sun May 19 23:34:10 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
