Typing as functional-logic evaluation | Publicación