Marco Servetto

Identifiers

No identifiers captured yet.

Papers (3)

1. Sound Invariant Checking Using Type Modifiers and Object Capabilities cs.PL · 2019 · author #2
2. Flexible recovery of uniqueness and immutability (Extended Version) cs.PL · 2018 · author #2
3. Tracing sharing in an imperative pure calculus (Extended Version) cs.PL · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Elena Zucca 2 shared papers
• Paola Giannini 2 shared papers
• Alex Potanin 1 shared papers
• Isaac Oscar Gariano 1 shared papers
• James Cone 1 shared papers
• Tim Richter 1 shared papers