6th TFP 2005: Tallinn, Estonia

> 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/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/2005
Marko C. J. D. van Eekelen:
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/Millikin05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Millikin05
Kevin Millikin:
A new approach to one-pass transformations. Trends in Functional Programming 2005: 1-13
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/MitchellR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/MitchellR05
Neil Mitchell, Colin Runciman:
A static checker for safe pattern matching in Haskell. Trends in Functional Programming 2005: 15-30
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/RyderT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/RyderT05
Chris Ryder, Simon J. Thompson:
Software metrics: measuring Haskell. Trends in Functional Programming 2005: 31-46
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/Elsman05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Elsman05
Martin Elsman:
Type-specialized serialization with sharing. Trends in Functional Programming 2005: 47-62
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/Asai05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Asai05
Kenichi Asai:
Logical relations for call-by-value delimited continuations. Trends in Functional Programming 2005: 63-78
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/ChapmanAM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/ChapmanAM05
James Chapman, Thorsten Altenkirch, Conor McBride:
Epigram reloaded: a standalone typechecker for ETT. Trends in Functional Programming 2005: 79-94
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/LiT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/LiT05
Huiqing Li, Simon J. Thompson:
Formalisation of Haskell refactorings. Trends in Functional Programming 2005: 95-110
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/Katayama05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Katayama05
Susumu Katayama:
Systematic search for lambda expressions. Trends in Functional Programming 2005: 111-126
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/Rhiger05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Rhiger05
Morten Rhiger:
First-class open and closed code framgents. Trends in Functional Programming 2005: 127-144
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/UustaluV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/UustaluV05
Tarmo Uustalu, Varmo Vene:
Comonadic functional attribute evaluation. Trends in Functional Programming 2005: 145-162
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/KoopmanP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/KoopmanP05
Pieter W. M. Koopman, Rinus Plasmeijer:
Generic generation of the elements of data types. Trends in Functional Programming 2005: 163-178
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/Leijen05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Leijen05
Daan Leijen:
Extensible records with scoped labels. Trends in Functional Programming 2005: 179-194
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/HammondDFHHJLMPSSW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/HammondDFHHJLMPSSW05
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). Trends in Functional Programming 2005: 195-210
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/SannellaHAGSBLMMS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/SannellaHAGSBLMMS05
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). Trends in Functional Programming 2005: 211-226

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.