Memory Consumption Analysis for a Functional and Imperative Language. - Jérémie Salvucci; Emmanuel Chailloux (RAC@ETAPS, 2016)