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 BibTeX
- Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol:
Proof support for generic type classes.
1-16 BibTeX
- Fermín Reig:
Generic proofs for combinator-based generic programs.
17-32 BibTeX
- Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge:
Building certified components within FOCAL.
33-48 BibTeX
- Graham Hutton, Joel Wright:
Calculating an exceptional machine.
49-64 BibTeX
- Neil Ghani, Tarmo Uustalu, Varmo Vene:
Generalizing the AUGMENT combinator.
65-78 BibTeX
- Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka:
Alice through the looking glass.
79-95 BibTeX
- László Németh:
Experiments with GHC's optimiser.
97-111 BibTeX
- Sander Evers, Peter Achten, Rinus Plasmeijer:
Disjoint forms in graphical user interfaces.
113-128 BibTeX
- Silvia Clerici, Cristina Zoltan:
A graphic functional-dataflow language.
129-144 BibTeX
Copyright © Sat May 16 23:37:47 2009
by Michael Ley (ley@uni-trier.de)
