| Design and evaluation of gradual typing for Python MM Vitousek, AM Kent, JG Siek, J Baker Proceedings of the 10th ACM Symposium on Dynamic languages, 45-56, 2014 | 194 | 2014 |
| Migratory typing: Ten years later S Tobin-Hochstadt, M Felleisen, R Findler, M Flatt, B Greenman, AM Kent, ... 2nd Summit on Advances in Programming Languages (SNAPL 2017), 17: 1-17: 17, 2017 | 54 | 2017 |
| Occurrence typing modulo theories AM Kent, D Kempe, S Tobin-Hochstadt ACM SIGPLAN Notices 51 (6), 296-309, 2016 | 44 | 2016 |
| Linking the past: discovering historical social networks from documents and linking to a genealogical database DJ Kennard, AM Kent, WA Barrett Proceedings of the 2011 Workshop on Historical Document Imaging and …, 2011 | 14 | 2011 |
| Package processing SW CLEBSCH, MMJ BROCKSCHMIDT, SS Ishtiaq, JEC ALGLAVE, ... US Patent 10,592,661, 2020 | 11 | 2020 |
| Advanced Logical Type Systems for Untyped Languages AM Kent Indiana University, 2019 | 6 | 2019 |
| Design and evaluation of gradual typing for Python JG Siek, M Vitousek, A Kent, J Baker Technical Report. Indiana University, 2014 | 2 | 2014 |
| 2nd Summit on Advances in Programming Languages (SNAPL 2017) K Bhargavan, B Bond, A Delignat-Lavaud, C Fournet, C Hawblitzel, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017 | | 2017 |
