Edsko DeVries (Well-Typed LLP)

Identifiers

• name variant Edsko DeVries (Well-Typed LLP) 0.60 · backfill

Papers (1)

1. Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency cs.LO · 2014 · author #2

Mentions

• 1405.6100 #2 · backfill · confidence 0.70 Edsko DeVries (Well-Typed LLP)

Frequent Coauthors

• Adrian Francalanza (University of Malta) 1 shared papers
• Ireland) 1 shared papers
• Matthew Hennessy (Trinity College Dublin 1 shared papers