7th TFP 2006: Nottingham, United Kingdom

> Home > Conferences and Workshops > TFP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/2006
Henrik Nilsson:
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
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/MoninC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/MoninC06
Jean-François Monin, Judicaël Courant:
Proving termination using dependent types: the case of XOR-terms. Trends in Functional Programming 2006: 1-18
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/LuoC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/LuoC06
Yong Luo, Olaf Chitil:
Proving the correctness of algorithmic debugging for functional programs. Trends in Functional Programming 2006: 19-34
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/KoopmanP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/KoopmanP06
Pieter W. M. Koopman, Rinus Plasmeijer:
Systematic synthesis of functions. Trends in Functional Programming 2006: 35-54
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/ChristiansenH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/ChristiansenH06
Jan Christiansen, Frank Huch:
A purely functional implementation of ROBDDs in Haskell. Trends in Functional Programming 2006: 55-71
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/JansenKP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/JansenKP06
Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer:
Efficient interpretation by transforming data types and patterns to functions. Trends in Functional Programming 2006: 73-90
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/Setzer06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Setzer06
Anton Setzer:
Object-oriented programming in dependent type theory. Trends in Functional Programming 2006: 91-108
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/Pena-MariSM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Pena-MariSM06
Ricardo Peña-Marí, Clara Segura, Manuel Montenegro:
A sharing analysis for SAFE. Trends in Functional Programming 2006: 109-128
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/HanaiUYYY06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/HanaiUYYY06
Ryo Hanai, Tomoharu Ugawa, Masashi Yoneda, Masahiro Yasugi, Taiichi Yuasa:
Memory usage improvement using runtime alias detection. Trends in Functional Programming 2006: 129-144
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/Grabmuller06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Grabmuller06
Martin Grabmüller:
A model of functional programming with dynamic compilation and optimization. Trends in Functional Programming 2006: 145-161
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/RaufBS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/RaufBS06
Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer:
Functional concepts in C++. Trends in Functional Programming 2006: 163-179
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/Fischer06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Fischer06
Sebastian Fischer:
Resource-based Web applications. Trends in Functional Programming 2006: 181-197
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/OliveiraHL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/OliveiraHL06
Bruno C. d. S. Oliveira, Ralf Hinze, Andres Löh:
Extensible and modular generics for the masses. Trends in Functional Programming 2006: 199-216
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/Nogueira06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Nogueira06
Pablo Nogueira:
When is an abstract data type a functor? Trends in Functional Programming 2006: 217-231

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.