Abstract is missing.
- Proving termination using dependent types: the case of XOR-termsJean-François Monin, Judicaël Courant. 1-18
- Proving the correctness of algorithmic debugging for functional programsYong Luo, Olaf Chitil. 19-34
- Systematic synthesis of functionsPieter W. M. Koopman, Marinus J. Plasmeijer. 35-54
- A purely functional implementation of ROBDDs in HaskellJan Christiansen, Frank Huch. 55-71
- Efficient interpretation by transforming data types and patterns to functionsJan Martin Jansen, Pieter W. M. Koopman, Marinus J. Plasmeijer. 73-90
- Object-oriented programming in dependent type theoryAnton Setzer. 91-108
- A sharing analysis for SAFERicardo Peña-Marí, Clara Segura, Manuel Montenegro. 109-128
- Memory usage improvement using runtime alias detectionRyo Hanai, Tomoharu Ugawa, Masashi Yoneda, Masahiro Yasugi, Taiichi Yuasa. 129-144
- A model of functional programming with dynamic compilation and optimizationMartin Grabmüller. 145-161
- Functional concepts in C++Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer. 163-179
- Resource-based Web applicationsSebastian Fischer. 181-197
- Extensible and modular generics for the massesBruno C. d. S. Oliveira, Ralf Hinze, Andres Löh. 199-216
- When is an abstract data type a functor?Pablo Nogueira. 217-231