7. TFP 2006: Nottingham, United Kingdom

Henrik Nilsson (Ed.): Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006. Trends in Functional Programming 7 Intellect 2007, ISBN 978-1-84150-188-8

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