![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
6th TFP 2005: Tallinn, Estonia
- 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 - Kevin Millikin:
A new approach to one-pass transformations. Trends in Functional Programming 2005: 1-13 - Neil Mitchell, Colin Runciman:
A static checker for safe pattern matching in Haskell. Trends in Functional Programming 2005: 15-30 - Chris Ryder, Simon J. Thompson:
Software metrics: measuring Haskell. Trends in Functional Programming 2005: 31-46 - Martin Elsman:
Type-specialized serialization with sharing. Trends in Functional Programming 2005: 47-62 - Kenichi Asai:
Logical relations for call-by-value delimited continuations. Trends in Functional Programming 2005: 63-78 - James Chapman, Thorsten Altenkirch, Conor McBride:
Epigram reloaded: a standalone typechecker for ETT. Trends in Functional Programming 2005: 79-94 - Huiqing Li, Simon J. Thompson:
Formalisation of Haskell refactorings. Trends in Functional Programming 2005: 95-110 - Susumu Katayama:
Systematic search for lambda expressions. Trends in Functional Programming 2005: 111-126 - Morten Rhiger:
First-class open and closed code framgents. Trends in Functional Programming 2005: 127-144 - Tarmo Uustalu, Varmo Vene:
Comonadic functional attribute evaluation. Trends in Functional Programming 2005: 145-162 - Pieter W. M. Koopman, Rinus Plasmeijer:
Generic generation of the elements of data types. Trends in Functional Programming 2005: 163-178 - Daan Leijen:
Extensible records with scoped labels. Trends in Functional Programming 2005: 179-194 - 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 - 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.