Giuseppe Castagna

Identifiers

• name variant Giuseppe Castagna 0.60 · backfill

Papers (2)

1. Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir cs.PL · 2024 · author #1
2. Optimizing XML querying using type-based document projection cs.DB · 2011 · author #2

Mentions

• 2408.14345 #1 · arxiv_oai · confidence 0.70 Giuseppe Castagna
• 1104.2079 #2 · backfill · confidence 0.70 Giuseppe Castagna

Frequent Coauthors

• Dario Colazzo 1 shared papers
• Guillaume Duboc 1 shared papers
• Kim Nguyen 1 shared papers
• V\'eronique Benzaken 1 shared papers