Andrew M. Kent

According to our database, Andrew M. Kent authored at least 4 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Migratory Typing: Ten Years Later.

Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2016

Occurrence typing modulo theories.

Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2014

Design and evaluation of gradual typing for python.

Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, Jim Baker

Proceedings of the DLS'14, 2014

2011

Linking the past: discovering historical social networks from documents and linking to a genealogical database.

Douglas J. Kennard, Andrew M. Kent, William A. Barrett

Proceedings of the 2011 Workshop on Historical Document Imaging and Processing, 2011