Giovanni Bernardi

Identifiers

• name variant Giovanni Bernardi 0.60 · backfill

Papers (1)

1. Using higher-order contracts to model session types cs.LO · 2013 · author #1

Mentions

• 1310.6176 #1 · backfill · confidence 0.70 Giovanni Bernardi

Frequent Coauthors

• Matthew Hennessy 1 shared papers