A Transformational Approach to Resource Analysis with Typed-norms Inference | Publicación