Andrew M. Kent
Identifiers
- name variant Andrew M. Kent 0.60 · backfill
Papers (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