Trends in Functional Programming, Volume 7

Selected papers from the Seventh Symposium on Trends in Functional Programming (TFP06),
Nottingham, United Kingdom, 19-21 April 2006.
Henrik Nilsson (editor)
Intellect, Bristol, UK.
ISBN 978-1-84150-188-8

Table of Contents

Proving termination using dependent types: the case of XOR-terms 1-18
Jean-François Monin, Judicael Courant
Proving the correctness of algorithmic debugging for functional programs 19-34
Yong Luo, Olaf Chitil
Systematic synthesis of functions 35-54
Pieter W. M. Koopman, Rinus Plasmeijer
A purely functional implementation of ROBDDs in Haskell 55-71
Jan Christiansen, Frank Huch
Efficient interpretation by transforming data types and patterns to functions 73-90
Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer
Object-oriented programming in dependent type theory 91-108
Anton Setzer
A sharing analysis for SAFE 109-128
Ricardo Pena-Mari, Clara Segura, Manuel Montenegro
Memory usage improvement using runtime alias detection 129-144
Ryo Hanai, Tomoharu Ugawa, Masashi Yoneda, Masahiro Yasugi, Taiichi Yuasa
A model of functional programming with dynamic compilation and optimization 145-161
Martin Grabmüller
Functional concepts in C++ 163-179
Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer
Resource-based Web applications 181-197
Sebastian Fischer
Extensible and modular generics for the masses 199-216
Bruno C. D. S. Oliveira, Ralf Hinze, Andres Löh Best Student Paper
When is an abstract data type a functor? 217-231
Pablo Nogueira Best Student Paper