Nick Benton

Identifiers

• name variant Nick Benton 0.60 · backfill

Papers (2)

1. Effect-Dependent Transformations for Concurrent Programs cs.PL · 2015 · author #1
2. Abstract Effects and Proof-Relevant Logical Relations cs.PL · 2012 · author #1

Mentions

• 1510.02419 #1 · backfill · confidence 0.70 Nick Benton
• 1212.5692 #1 · backfill · confidence 0.70 Nick Benton

Frequent Coauthors

• Martin Hofmann 2 shared papers
• Vivek Nigam 2 shared papers