The GOOL system: a lightweight object-oriented programming language translator. - Pablo Arrighi; Johan Girard; Miguel Lezama; Kévin Mazet (ICOOOLPS@ECOOP, 2014)