Andrew M. Kent

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 2

Top Topics

Modulo Theories

Stable Model Semantics

Evaluation Process

Top Venues

Publications

Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa
Migratory Typing: Ten Years Later. SNAPL (2017)
Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt
Occurrence typing modulo theories. PLDI (2016)
Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt
Occurrence Typing Modulo Theories. CoRR (2015)
Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, Jim Baker
Design and evaluation of gradual typing for python. DLS (2014)
Douglas J. Kennard, Andrew M. Kent, William A. Barrett
Linking the past: discovering historical social networks from documents and linking to a genealogical database. HIP@ICDAR (2011)