Juan Edi

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 2

Top Topics

Lambda Calculus

Top Venues

Theor. Comput. Sci.

Publications

Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso
Typed path polymorphism. Theor. Comput. Sci. 781 (2019)
Juan Edi, Andrés Viso, Eduardo Bonelli
Efficient Type Checking for Path Polymorphism. CoRR (2017)
Juan Edi, Andrés Viso, Eduardo Bonelli
Efficient Type Checking for Path Polymorphism. TYPES (2015)