Eric Giovannini

According to our database, Eric Giovannini authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory.

Eric Giovannini, Tingting Ding, Max S. New

Proc. ACM Program. Lang., 2025

2024

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version).

Eric Giovannini, Tingting Ding, Max S. New

CoRR, 2024

2023

Gradual Typing for Effect Handlers.

Max S. New, Eric Giovannini, Daniel R. Licata

Proc. ACM Program. Lang., October, 2023