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
| 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 |