A Transformational Approach to Resource Analysis with Typed-norms Inference. - ALBERT, ELVIRA; GENAIM, SAMIR; GUTIÉRREZ, RAÚL; MARTIN-MARTIN, ENRIQUE (Theory & Practice of Logic Programming, 2020)