5. TFP 2004:
München,
Germany
Hans-Wolfgang Loidl (Ed.):
Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, TFP 2004, München, Germany, 25-26 November 2004.
Trends in Functional Programming 5 Intellect 2006, ISBN 1-84150-144-1 
- Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol:
Proof support for generic type classes.
1-16
- Fermín Reig:
Generic proofs for combinator-based generic programs.
17-32
- Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge:
Building certified components within FOCAL.
33-48
- Graham Hutton, Joel Wright:
Calculating an exceptional machine.
49-64
- Neil Ghani, Tarmo Uustalu, Varmo Vene:
Generalizing the AUGMENT combinator.
65-78
- Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka:
Alice through the looking glass.
79-95
- László Németh:
Experiments with GHC's optimiser.
97-111
- Sander Evers, Peter Achten, Rinus Plasmeijer:
Disjoint forms in graphical user interfaces.
113-128
- Silvia Clerici, Cristina Zoltan:
A graphic functional-dataflow language.
129-144
Last update Fri May 25 08:36:53 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
