@article{ADL:ICFP:17,
 author    = "M. Avanzini and U. {Dal Lago}",
 title     = {{Automating Sized-Type Inference for Complexity Analysis}},
 journal   = {{Proceedings of the ACM on Programming Languages}},
 volume    = "1",
 year      = 2017,
 publisher = "Association for Computing Machinery",
}