Statistics
Publications
4
Citations
224
H-Index
4
Active since
2014
Affiliations
Indiana University Bloomington(Current)
Andrew M. Kent is an author at Indiana University Bloomington specializing in formal verification, automated reasoning, and formal methods.
Publications per year
2014–2017
4
4
Design and evaluation of gradual typing for python
Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek et al. · ACM SIGPLAN Notices · 2014 · 93 citations
Design and evaluation of gradual typing for python
Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek et al. · 2014 · 85 citations
Occurrence typing modulo theories
Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt · 2016 · 23 citations
1–4 of 4