6th Symposium on Trends in Functional Programming
TFP 2005
Tallinn, Estonia, 23-24 September 2005
Proceedings
Edited by Marko van Eekelen
Online version
Notice: The documents distributed by this server have
been provided by IoC as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and
all rights therein are maintained by the authors, notwithstanding that
they have offered their works here electronically. It is understood
that all persons copying this information will adhere to the terms and
constraints invoked by each author's copyright. These works may not be
reposted without the explicit permission of the copyright
holder.
- Frontmatter
pp. 1-6
- Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano and Olha Shkaravska
Mobile Resource Guarantees (evaluation paper)
pp. 7-16
- Malcolm Dowse and Andrew Butterfield
A toolkit for structuring I/O
pp. 17-32
- Tarmo Uustalu and Varmo Vene
Comonadic functional attribute evaluation
pp. 33-43
- Jan van Eijck and Simona Orzan
Modelling the epistemics of communication with functional programming
pp. 44-59
- Allan Clark
Interfacing to foreign language data from the Nitro functional programming language
pp. 60-75
- Marcin Kowalczyk
Asynchronous communication between threads
pp. 76-87
- Martin Elsman
Type-specialized serialization with sharing
pp. 88-102
- Simon Foster
HAIFA: an XML based interoperability solution for Haskell
pp. 103-118
- Chris Ryder and Simon Thompson
Software metrics: measuring Haskell
pp. 119-134
- Tom Shackell and Colin Runciman
Faster production of redex trails: the Hat G-Machine
pp. 135-150
- Manfred Widera
Data flow coverage for testing Erlang programs
pp. 151-166
- Pieter Koopman and Rinus Plasmeijer
Generic generation of elements of types
pp. 167-179
- Frédéric Prost
Sort abstraction for static analyses of mobile processes
pp. 180-184
- Susumu Katayama
Systematic search for lambda expressions
pp. 195-205
- Morten Rhiger
First-class open and closed code fragments
pp. 206-219
- Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Hans-Wolfgang Loidl, Greg Michaelson, Jocelyn Sérot and Andy Wallace
The EmBounded project (project paper)
pp. 220-235
- Hampus Weddig
Fixing the semantics
pp. 236-251
- Kevin Millikin
A new approach to one-pass transformations
pp. 252-264
- Huiqing Li and Simon Thompson
Formalisation of Haskell refactorings
pp. 265-280
- Olha Shkaravska
Amortized heap-space analysis for first-order functional programs
pp. 281-296
- Daan Leijen
Extensible records with scoped labels
pp. 297-312
- Neil Mitchell and Colin Runciman
Unfailing Haskell: a static checker for pattern matching
pp. 313-328
- James Chapman, Thorsten Altenkirch and Conor McBride
Epigram reloaded: a standalone typechecker for ETT
pp. 329-339
- Isaac Jones
The Haskell Cabal: a common architecture for building
applications and libraries
pp. 340-354
- Chunxu Liu and Greg Michaelson
Towards a Hume IDE
pp. 355-369
- Nick Oosterhof, Philip Hölzenspies and Jan Kuper
Application patterns
pp. 370-382
- Sharon Curtis, Clare Martin
Functional fractal image compression
pp. 383-398
- Tetsuo Yokoyama, Zhenjiang Hu and Masato Takeichi
Calculation rules for warming-up in fusion transformation
pp. 399-412
- Kenichi Asai
Logical relations for call-by-value delimited continuations
pp. 413-428
- Carmen Torrano, Clara Segura
Strictness analysis and let-to-case
transformation using Template Haskell
pp. 429-442
Bibliographic data of print version: M. van Eekelen, ed., 6th
Symposium on Trends in Functional Programming, TFP 2005:
Proceedings, Institute of Cybernetics, Tallinn, 2005. ISBN
9985-894-88-X.
This proceedings volume was not pre-refereed. A refereed
post-conference selection will appear as a book by Intellect.
TFP/ICFP/GPCE'05 local organization, icfp05(at)cs.ioc.ee
Latest update 18 November 2005