Paolo Torrini

Identifiers

• name variant Paolo Torrini 0.60 · backfill

Papers (2)

1. A Modular Structural Operational Semantics for Delimited Continuations cs.PL · 2016 · author #2
2. Resource-Bound Quantification for Graph Transformation cs.LO · 2010 · author #1

Mentions

• 1003.5512 #1 · backfill · confidence 0.70 Paolo Torrini

Frequent Coauthors

• Neil Sculthorpe 1 shared papers
• Peter D. Mosses 1 shared papers
• Reiko Heckel 1 shared papers