Ornela Dardha (School of Computing Science

Identifiers

• name variant Ornela Dardha (School of Computing Science 0.60 · backfill

Papers (1)

1. Recursive Session Types Revisited cs.PL · 2014 · author #1

Mentions

• 1408.5980 #1 · backfill · confidence 0.70 Ornela Dardha (School of Computing Science

Frequent Coauthors

• University of Glasgow) 1 shared papers