Improving Computations in a Typed Functional Logic Language | Publicación