Paola Giannini

Identifiers

• name variant Paola Giannini 0.60 · backfill

Papers (4)

1. Flexible recovery of uniqueness and immutability (Extended Version) cs.PL · 2018 · author #1
2. Tracing sharing in an imperative pure calculus (Extended Version) cs.PL · 2018 · author #1
3. Reconciling positional and nominal binding cs.PL · 2013 · author #2
4. Intersection types for unbind and rebind cs.LO · 2011 · author #2

Mentions

• 1307.8207 #2 · backfill · confidence 0.70 Paola Giannini
• 1101.4426 #2 · backfill · confidence 0.70 Paola Giannini

Frequent Coauthors

• Elena Zucca 4 shared papers
• Marco Servetto 2 shared papers
• Davide Ancona 1 shared papers
• James Cone 1 shared papers
• Mariangiola Dezani-Ciancaglini 1 shared papers
• Tim Richter 1 shared papers