Juan Edi Andrés Viso Eduardo Bonelli Efficient Type Checking for Path Polymorphism. 2017 abs/1704.09026 CoRR http://arxiv.org/abs/1704.09026 db/journals/corr/corr1704.html#EdiVB17