Juan Edi

According to our database, Juan Edi authored at least 2 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Typed path polymorphism.

Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso

Theor. Comput. Sci., 2019

2015

Efficient Type Checking for Path Polymorphism.

Juan Edi, Andrés Viso, Eduardo Bonelli

Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015