@conference{ADM:ICFP:15,
 author    = {Martin Avanzini and
                  Ugo Dal Lago and
                  Georg Moser},
 title     = {Analysing the complexity of functional programs: higher-order meets
                  first-order},
 year      = {2015},
 booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
                  1-3, 2015},
 pages     = {152--164},
 publisher = {{ACM}},
 doi       = {10.1145/2784731.2784753},
 keywords  = {conference}
}