GHIORZI, ENRICO
GHIORZI, ENRICO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| (Deep) induction rules for GADTs | 1-gen-2022 | Johann, P.; Ghiorzi, E. | |
| GADTs, Functoriality, Parametricity: Pick Two | 1-gen-2022 | Johann, P.; Ghiorzi, E.; Jeffries, D. | |
| Parametricity for primitive nested types | 1-gen-2021 | Johann, P.; Ghiorzi, E.; Jeffries, D. |