Enrico Ghiorzi

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 8

Top Topics

Internal Structures

Classification Rules

Top Venues

IEEE Robotics Autom. Lett.

Appl. Categorical Struct.

Publications

Enrico Ghiorzi, Michele Colledanchise, Gianluca Piquet, Stefano Bernagozzi, Armando Tacchella, Lorenzo Natale
Learning Linear Temporal Properties for Autonomous Robotic Systems. IEEE Robotics Autom. Lett. 8 (5) (2023)
Patricia Johann, Enrico Ghiorzi
(Deep) induction rules for GADTs. CPP (2022)
Enrico Ghiorzi
Internal Enriched Categories. Appl. Categorical Struct. 30 (5) (2022)
Patricia Johann, Enrico Ghiorzi, Daniel Jeffries
GADTs, Functoriality, Parametricity: Pick Two. CoRR (2021)
Patricia Johann, Enrico Ghiorzi, Daniel Jeffries
Parametricity for Nested Types and GADTs. CoRR (2021)
Patricia Johann, Enrico Ghiorzi, Daniel Jeffries
(Deep) Induction Rules for GADTs. CoRR (2021)
Patricia Johann, Enrico Ghiorzi, Daniel Jeffries
Parametricity for Primitive Nested Types. FoSSaCS (2021)
Patricia Johann, Enrico Ghiorzi
Parametricity for Nested Types and GADTs. Log. Methods Comput. Sci. 17 (4) (2021)