Martin Avanzini, Ugo Dal Lago
Automating sized-type inference for complexity analysis
ICFP, 2017.
@article{ICFP-2017-AvanziniL, author = "Martin Avanzini and Ugo Dal Lago", doi = "10.1145/3110287", journal = "{Proceedings of the ACM on Programming Languages}", number = "ICFP", pages = "29", title = "{Automating sized-type inference for complexity analysis}", volume = 1, year = 2017, }