From the π-calculus to flat GHC | Publicación