Bidirectional type checking for relational properties | Publicación