publicações Functional Specialisation - First explorations on a logical-functional perspective of languages Documento