Amortised Resource Analysis for Lazy Functional Programs
Hugo Simões · Open Repository of the University of Porto (University of Porto) · 2014
My thanks extend to the functional programming group in St Andrews for valuable discussions and, in particular, I would also like to thank Steffen Jost and Armelle Bonenfant, and their respective families, for our hiking trips across Scotland and for putting our shared interests in board gaming into