Proceedings Trends in Functional Programming

Peter Achten, Pieter Koopman, Marco T. Morazán, Eds. Trends in Functional Programming, Center Parcs "Het Heijderbos", The Netherlands, May 26-28 2008, Volume 9, ISBN 978-1-84150-277-9, Intellect (bibtex)

Contents Prediction of linear memory usage for first-order functional programs - Brian Campbell - Best student paper (bibtex) Dependent Types for Distributed Arrays - Wouter Swierstra, Thorsten Altenkirch - Best student paper (bibtex) Size Analysis of Algebraic Data Type - Alejandro Tamalet, Olha Shkaravska, Marko van Eekelen (bibtex) Confluence for Functional Dependencies - Tom Schrijvers, Martin Sulzmann (bibtex) A Leaner Specification for GADTs - Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra (bibtex) One Vote for Type Families in Haskell! - Louis-Julien Guillemette, Stefan Monnier (bibtex) Optimisation of Dynamic, Hybrid Signal Function Networks - Neil Sculthorpe, Henrik Nilsson (bibtex) Short Cut Fusion for Effects - Neil Ghani, Patricia Johann (bibtex) Towards a Verified STM - Liyang HU, Graham Hutton (bibtex) Complexity Certification of C++ Template Metaprogramming - Emanuele Covino, Giovanni Pani (bibtex) Lightweight Invariants with Full Dependent Types - Edwin Brady, Christoph Herrmann, Kevin Hammond (bibtex)

The same, but now in BibTeX

@proceedings{achp09:TFP08,
    title       = {Trends in Functional Programming},
    year        = {2009},
    editor      = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.}},
    volume      = 9,
    series      = {Trends in Functional Programming},
    address     = {Nijmegen, The Netherlands},
    publisher   = {Intellect},
    note        = {ISBN 978-1-84150-277-9}
}

@inproceedings{camb09:TFP_2008_Intellect,
    author      = {Campbell, Brian},
    title       = {Prediction of linear memory usage for first-order functional programs - Best student paper},
    booktitle   = {Trends in Functional Programming},
    editor      = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.},
    year        = 2009,
    volume      = 9,
    series      = {Trends in Functional Programming},
    publisher   = {Intellect},
    note        = {ISBN 978-1-84150-277-9},
    pages       = {1-16}
}
@inproceedings{swiw09:TFP_2008_Intellect,
    author      = {Swierstra, Wouter and Altenkirch, Thorsten},
    title       = {Dependent Types for Distributed Arrays - Best student paper},
    booktitle   = {Trends in Functional Programming},
    editor      = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.},
    year        = 2009,
    volume      = 9,
    series      = {Trends in Functional Programming},
    publisher   = {Intellect},
    note        = {ISBN 978-1-84150-277-9},
    pages       = {17-32}
}
@inproceedings{tama09:TFP_2008_Intellect,
    author      = {Tamalet, Alejandro and Shkaravska, Olha and {van Eekelen}, Marko},
    title       = {Size Analysis of Algebraic Data Type},
    booktitle   = {Trends in Functional Programming},
    editor      = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.},
    year        = 2009,
    volume      = 9,
    series      = {Trends in Functional Programming},
    publisher   = {Intellect},
    note        = {ISBN 978-1-84150-277-9},
    pages       = {33-48}
}
@inproceedings{scht09:TFP_2008_Intellect,
    author      = {Schrijvers, Tom and Sulzmann, Martin},
    title       = {Confluence for Functional Dependencies},
    booktitle   = {Trends in Functional Programming},
    editor      = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.},
    year        = 2009,
    volume      = 9,
    series      = {Trends in Functional Programming},
    publisher   = {Intellect},
    note        = {ISBN 978-1-84150-277-9},
    pages       = {49-64}
}
@inproceedings{mida09:TFP_2008_Intellect,
    author      = {Middelkoop, Arie and Dijkstra, Atze and Swierstra, {S. Doaitse}},
    title       = {A Leaner Specification for {GADT}s},
    booktitle   = {Trends in Functional Programming},
    editor      = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.},
    year        = 2009,
    volume      = 9,
    series      = {Trends in Functional Programming},
    publisher   = {Intellect},
    note        = {ISBN 978-1-84150-277-9},
    pages       = {65-80}
}
@inproceedings{guil09:TFP_2008_Intellect,
    author      = {Guillemette, Louis-Julien and Monnier, Stefan},
    title       = {One Vote for Type Families in {Haskell}!},
    booktitle   = {Trends in Functional Programming},
    editor      = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.},
    year        = 2009,
    volume      = 9,
    series      = {Trends in Functional Programming},
    publisher   = {Intellect},
    note        = {ISBN 978-1-84150-277-9},
    pages       = {81-96}
}
@inproceedings{scun09:TFP_2008_Intellect,
    author      = {Sculthorpe, Neil and Nilsson, Henrik},
    title       = {Optimisation of Dynamic, Hybrid Signal Function Networks},
    booktitle   = {Trends in Functional Programming},
    editor      = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.},
    year        = 2009,
    volume      = 9,
    series      = {Trends in Functional Programming},
    publisher   = {Intellect},
    note        = {ISBN 978-1-84150-277-9},
    pages       = {97-112}
}
@inproceedings{ghan09:TFP_2008_Intellect,
    author      = {Ghani, Neil and Johann, Patricia},
    title       = {Short Cut Fusion for Effects},
    booktitle   = {Trends in Functional Programming},
    editor      = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.},
    year        = 2009,
    volume      = 9,
    series      = {Trends in Functional Programming},
    publisher   = {Intellect},
    note        = {ISBN 978-1-84150-277-9},
    pages       = {113-128}
}
@inproceedings{hul09:TFP_2008_Intellect,
    author      = {HU, Liyang and Hutton, Graham},
    title       = {Towards a Verified {STM}},
    booktitle   = {Trends in Functional Programming},
    editor      = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.},
    year        = 2009,
    volume      = 9,
    series      = {Trends in Functional Programming},
    publisher   = {Intellect},
    note        = {ISBN 978-1-84150-277-9},
    pages       = {129-144}
}
@inproceedings{cove09:TFP_2008_Intellect,
    author      = {Covino, Emanuele and Pani, Giovanni},
    title       = {Complexity Certification of {C++} Template Metaprogramming},
    booktitle   = {Trends in Functional Programming},
    editor      = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.},
    year        = 2009,
    volume      = 9,
    series      = {Trends in Functional Programming},
    publisher   = {Intellect},
    note        = {ISBN 978-1-84150-277-9},
    pages       = {145-160}
}
@inproceedings{brae09:TFP_2008_Intellect,
    author      = {Brady, Edwin and Herrmann, Christoph and Hammond, Kevin},
    title       = {Lightweight Invariants with Full Dependent Types},
    booktitle   = {Trends in Functional Programming},
    editor      = {Achten, Peter and Koopman, Pieter and Moraz\'an, {Marco T.},
    year        = 2009,
    volume      = 9,
    series      = {Trends in Functional Programming},
    publisher   = {Intellect},
    note        = {ISBN 978-1-84150-277-9},
    pages       = {161-177}
}

Last updated at June 9 2009.