Mart\'in Abadi (Microsoft Research

Identifiers

• name variant Mart\'in Abadi (Microsoft Research 0.60 · backfill

Papers (1)

1. A Model of Cooperative Threads cs.PL · 2010 · author #1

Mentions

• 1009.2405 #1 · backfill · confidence 0.70 Mart\'in Abadi (Microsoft Research

Frequent Coauthors

• Gordon D. Plotkin (Microsoft Research 1 shared papers
• LFCS 1 shared papers
• Santa Cruz) 1 shared papers
• Silicon Valley 1 shared papers
• University of California 1 shared papers
• University of Edinburgh) 1 shared papers