@inproceedings{tama09:TFP_2008_Intellect,
    author      = {Tamalet, Alejandro and Shkaravska, Olha and {van Eekelen}, Marko},
    title       = {Size Analysis of Algebraic Data 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       = {33-48},
    class       = {wet}
}