Supporting dynamic and static typing by means of union and intersection types | Publicación