From the π-calculus to flat GHC. - Rubén Monjaraz; Julio Mariño (PPDP, 2012)