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