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 |
Externí odkaz: |
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 |
Externí odkaz: |