@Inproceedings{EPTCS248.5,
  author    = {Avanzini, Martin and Dal Lago, Ugo},
  year      = {2017},
  title     = {Automated Sized-Type Inference and Complexity Analysis},
  editor    = {Bonfante, Guillaume and Moser, Georg},
  booktitle = {{\rm Proceedings 8th Workshop on}
               Developments in Implicit Computational complExity {\rm and 5th Workshop on} FOundational and Practical Aspects of Resource Analysis,
               {\rm Uppsala, Sweden, April 22-23, 2017}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {248},
  publisher = {Open Publishing Association},
  pages     = {7-16},
  doi       = {10.4204/EPTCS.248.5},
}