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 BibTeX

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