Resource Analysis for Lazy Evaluation with Polynomial Potential - Sara Barros Moreira (2020)