default search action

combined dblp search
author search
venue search
publication search

ask others

5th TFP 2004: München, Germany

> Home > Conferences and Workshops > TFP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/2004
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/KesterenEM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/KesterenEM04
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/Reig04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Reig04
Fermín Reig:
Generic proofs for combinator-based generic programs. Trends in Functional Programming 2004: 17-32
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/DuboisHD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/DuboisHD04
Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge:
Building certified components within FOCAL. Trends in Functional Programming 2004: 33-48
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/HuttonW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/HuttonW04
Graham Hutton, Joel J. Wright:
Calculating an exceptional machine. Trends in Functional Programming 2004: 49-64
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/GhaniUV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/GhaniUV04
Neil Ghani, Tarmo Uustalu, Varmo Vene:
Generalizing the AUGMENT combinator. Trends in Functional Programming 2004: 65-78
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/RossbergBTBS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/RossbergBTBS04
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka:
Alice through the looking glass. Trends in Functional Programming 2004: 79-95
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/Nemeth04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Nemeth04
László Németh:
Experiments with GHC's optimiser. Trends in Functional Programming 2004: 97-111
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/EversAP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/EversAP04
Sander Evers, Peter Achten, Rinus Plasmeijer:
Disjoint forms in graphical user interfaces. Trends in Functional Programming 2004: 113-128
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/ClericiZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/ClericiZ04
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.