@inproceedings{ADL:DICE:17,
 author    = {Martin Avanzini and
                  Ugo Dal Lago},
 title     = {Automated Sized-Type Inference and Complexity Analysis},
 year      = {2017},
 booktitle = {Proceedings 8th Workshop on Developments in Implicit Computational
                  Complexity and 5th Workshop on Foundational and Practical Aspects
                  of Resource Analysis, DICE-FOPARAETAPS 2017, Uppsala, Sweden, April
                  22-23, 2017},
 series    = {{EPTCS}},
 volume    = {248},
 pages     = {7--16},
 doi       = {10.4204/EPTCS.248.5},
 keywords  = {workshop}
}