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 | 171 | 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), 2017 | 45 | 2017 |
Occurrence typing modulo theories AM Kent, D Kempe, S Tobin-Hochstadt ACM SIGPLAN Notices 51 (6), 296-309, 2016 | 37 | 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 | 13 | 2011 |
Advanced Logical Type Systems for Untyped Languages AM Kent Indiana University, 2019 | 5 | 2019 |
Design and evaluation of gradual typing for Python JG Siek, M Vitousek, A Kent, J Baker Technical Report. Indiana University, 2014 | 2 | 2014 |