Abstract is missing.
- A new approach to one-pass transformationsKevin Millikin. 1-13
- A static checker for safe pattern matching in HaskellNeil Mitchell, Colin Runciman. 15-30
- Software metrics: measuring HaskellChris Ryder, Simon Thompson. 31-46
- Type-specialized serialization with sharingMartin Elsman. 47-62
- Logical relations for call-by-value delimited continuationsKenichi Asai. 63-78
- Epigram reloaded: a standalone typechecker for ETTJames Chapman, Thorsten Altenkirch, Conor McBride. 79-94
- Formalisation of Haskell refactoringsHuiqing Li, Simon Thompson. 95-110
- Systematic search for lambda expressionsSusumu Katayama. 111-126
- First-class open and closed code framgentsMorten Rhiger. 127-144
- Comonadic functional attribute evaluationTarmo Uustalu, Varmo Vene. 145-162
- Generic generation of the elements of data typesPieter W. M. Koopman, Marinus J. Plasmeijer. 163-178
- Extensible records with scoped labelsDaan Leijen. 179-194
- The Embounded project (project start paper)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. 195-210
- Mobile Resource Guarantees (project evaluation paper)Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth Mackenzie, Alberto Momigliano, Olha Shkaravska. 211-226