default search action
5th TFP 2004: München, Germany
- Hans-Wolfgang Loidl:
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. Trends in Functional Programming 2004: 1-16 - Fermín Reig:
Generic proofs for combinator-based generic programs. Trends in Functional Programming 2004: 17-32 - Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge:
Building certified components within FOCAL. Trends in Functional Programming 2004: 33-48 - Graham Hutton, Joel J. Wright:
Calculating an exceptional machine. Trends in Functional Programming 2004: 49-64 - Neil Ghani, Tarmo Uustalu, Varmo Vene:
Generalizing the AUGMENT combinator. Trends in Functional Programming 2004: 65-78 - Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka:
Alice through the looking glass. Trends in Functional Programming 2004: 79-95 - László Németh:
Experiments with GHC's optimiser. Trends in Functional Programming 2004: 97-111 - Sander Evers, Peter Achten, Rinus Plasmeijer:
Disjoint forms in graphical user interfaces. Trends in Functional Programming 2004: 113-128 - Silvia Clerici, Cristina Zoltan:
A graphic functional-dataflow language. Trends in Functional Programming 2004: 129-144
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.