GHIORZI, ENRICO
GHIORZI, ENRICO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.017 secondi).
(Deep) induction rules for GADTs
2022-01-01 Johann, P.; Ghiorzi, E.
GADTs are not (Even partial) functors
2024-01-01 Cagne, Pierre; Ghiorzi, Enrico; Johann, Patricia
GADTs, Functoriality, Parametricity: Pick Two
2022-01-01 Johann, P.; Ghiorzi, E.; Jeffries, D.
Internal Enriched Categories
2022-01-01 Ghiorzi, E.
Internalization and enrichment via spans and matrices in a tricategory
2023-01-01 Femic, B.; Ghiorzi, E.
Learning Linear Temporal Properties for Autonomous Robotic Systems
2023-01-01 Ghiorzi, E; Colledanchise, M; Piquet, G; Bernagozzi, S; Tacchella, A; Natale, L
Parametricity for primitive nested types
2021-01-01 Johann, P.; Ghiorzi, E.; Jeffries, D.
PARAMETRICITY FOR PRIMITIVE NESTED TYPES AND GADTS
2021-01-01 Johann, P.; Ghiorzi, E.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| (Deep) induction rules for GADTs | 1-gen-2022 | Johann, P.; Ghiorzi, E. | |
| GADTs are not (Even partial) functors | 1-gen-2024 | Cagne, Pierre; Ghiorzi, Enrico; Johann, Patricia | |
| GADTs, Functoriality, Parametricity: Pick Two | 1-gen-2022 | Johann, P.; Ghiorzi, E.; Jeffries, D. | |
| Internal Enriched Categories | 1-gen-2022 | Ghiorzi, E. | |
| Internalization and enrichment via spans and matrices in a tricategory | 1-gen-2023 | Femic, B.; Ghiorzi, E. | |
| Learning Linear Temporal Properties for Autonomous Robotic Systems | 1-gen-2023 | Ghiorzi, E; Colledanchise, M; Piquet, G; Bernagozzi, S; Tacchella, A; Natale, L | |
| Parametricity for primitive nested types | 1-gen-2021 | Johann, P.; Ghiorzi, E.; Jeffries, D. | |
| PARAMETRICITY FOR PRIMITIVE NESTED TYPES AND GADTS | 1-gen-2021 | Johann, P.; Ghiorzi, E. |