Efficient Type Checking for Path Polymorphism. - Juan Edi; Andrés Viso; Eduardo Bonelli (TYPES, 2015)

Typed path polymorphism. - Mauricio Ayala-Rincón; Eduardo Bonelli; Juan Edi; Andrés Viso (Theor. Comput. Sci., 2019)