Type Soundness for Path Polymorphism
- Andrés Viso
- , Eduardo Bonelli
- , Mauricio Ayala-Rincón
- Universidad de Buenos Aires
- Universidade de Brasília
Research output: Contribution to journal › Article › peer-review
3
Scopus
citations