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
Last update Fri May 25 08:36:53 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
