@article{ADL:ICFP:17,
 author    = {Martin Avanzini and
                  Ugo Dal Lago},
 title     = {Automating sized-type inference for complexity analysis},
 year      = {2017},
 journal   = {Proc. {ACM} Program. Lang.},
 volume    = {1},
 pages     = {43:1--43:29},
 number    = {{ICFP}},
 doi       = {10.1145/3110287},
 keywords  = {article}
}