9th TFP 2008: Nijmegen, The Netherlands

> 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/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/2008
Peter Achten, Pieter W. M. Koopman, Marco T. Morazán:
Proceedings of the Nineth Symposium on Trends in Functional Programming, TFP 2008, Nijmegen, The Netherlands, May 26-28, 2008. Trends in Functional Programming 9, Intellect 2008, ISBN 978-1-84150-277-9
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/Campbell08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/Campbell08
Brian Campbell:
Prediction of linear memory usage for first-order functional programs. Trends in Functional Programming 2008: 1-16
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/SwierstraA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/SwierstraA08
Wouter Swierstra, Thorsten Altenkirch:
Dependent Types for Distributed Arrays. Trends in Functional Programming 2008: 17-32
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/TamaletSE08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/TamaletSE08
Alejandro Tamalet, Olha Shkaravska, Marko C. J. D. van Eekelen:
Size Analysis of Algebraic Data Type. Trends in Functional Programming 2008: 33-48
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/SchrijversS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/SchrijversS08
Tom Schrijvers, Martin Sulzmann:
Confluence for Functional Dependencies. Trends in Functional Programming 2008: 49-64
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/MiddelkoopDS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/MiddelkoopDS08
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra:
A Leaner Specification for GADTs. Trends in Functional Programming 2008: 65-80
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/GuillemetteM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/GuillemetteM08
Louis-Julien Guillemette, Stefan Monnier:
One Vote for Type Families in Haskell! Trends in Functional Programming 2008: 81-96
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/SculthorpeN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/SculthorpeN08
Neil Sculthorpe, Henrik Nilsson:
Optimisation of Dynamic, Hybrid Signal Function Networks. Trends in Functional Programming 2008: 97-112
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/GhaniJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/GhaniJ08
Neil Ghani, Patricia Johann:
Short Cut Fusion for Effects. Trends in Functional Programming 2008: 113-128
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/HuH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/HuH08
Liyang Hu, Graham Hutton:
Towards a Verified STM. Trends in Functional Programming 2008: 129-144
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/CovinoP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/CovinoP08
Emanuele Covino, Giovanni Pani:
Complexity Certification of C++ Template Metaprogramming. Trends in Functional Programming 2008: 145-160
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sfp/BradyHH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/BradyHH08
Edwin C. Brady, Christoph A. Herrmann, Kevin Hammond:
Lightweight Invariants with Full Dependent Types. Trends in Functional Programming 2008: 161-177

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.