Andrew M. Kent

Identifiers

• name variant Andrew M. Kent 0.60 · backfill

Papers (1)

1. Occurrence Typing Modulo Theories cs.PL · 2015 · author #1

Mentions

• 1511.07033 #1 · backfill · confidence 0.70 Andrew M. Kent

Frequent Coauthors

• David Kempe 1 shared papers
• Sam Tobin-Hochstadt 1 shared papers