Claudio Sacerdoti Coen

Identifiers

• name variant Claudio Sacerdoti Coen 0.60 · backfill

Papers (7)

1. A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value cs.LO · 2026 · author #2
2. Sharing Equality is Linear cs.LO · 2019 · author #3
3. Crumbling Abstract Machines cs.LO · 2019 · author #4
4. On the Relative Usefulness of Fireballs cs.LO · 2015 · author #2
5. On the correctness of a branch displacement algorithm cs.LO · 2012 · author #2
6. A Foundational View on Integration Problems cs.LO · 2011 · author #3
7. Regular Expressions, au point cs.FL · 2010 · author #2

Mentions

• 1505.03791 #2 · backfill · confidence 0.70 Claudio Sacerdoti Coen
• 1209.5920 #2 · backfill · confidence 0.70 Claudio Sacerdoti Coen
• 1105.2725 #3 · backfill · confidence 0.70 Claudio Sacerdoti Coen
• 1010.2604 #2 · backfill · confidence 0.70 Claudio Sacerdoti Coen

Frequent Coauthors

• Beniamino Accattoli 3 shared papers
• Andrea Condoluci 2 shared papers
• Andrea Asperti 1 shared papers
• Enrico Tassi 1 shared papers
• Florian Rabe 1 shared papers
• Giulio Guerrieri 1 shared papers
• Jaap Boender 1 shared papers
• Michael Kohlhase 1 shared papers
• Nicol\`o Pizzo 1 shared papers