Resource Analysis for Lazy Evaluation with Polynomial Potential. - Sara Moreira; Pedro B. Vasconcelos; Mário Florido (IFL, 2020)