Typed path polymorphism

Autor: Ayala-Rincón, Mauricio, Bonelli, Eduardo, Edi, Juan, Viso, Andrés
Zdroj: In Theoretical Computer Science 16 August 2019 781:111-130
Databáze: ScienceDirect