Typed path polymorphism

Mauricio Ayala-Rincón, Eduardo Bonelli, Juan Edi, Andrés Viso. Typed path polymorphism. Theoretical Computer Science, 781:111-130, 2019. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: