@inproceedings{ADM:ICFP:15,
 author    = "M. Avanzini and U. {Dal Lago} and G. Moser",
 title     = {{Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order}},
 booktitle = "Proceedings of the \nth{20} ACM SIGPLAN International Conference on Functional Programming",
 year      = 2015,
 pages     = "152--164",
 publisher = "Association for Computing Machinery",
}