Michael D. Adams 0001 Andrew W. Keep Jan Midtgaard Matthew Might Arun Chauhan R. Kent Dybvig Flow-sensitive type recovery in linear-log time. 483-498 2011 OOPSLA http://doi.acm.org/10.1145/2048066.2048105 conf/oopsla/2011 db/conf/oopsla/oopsla2011.html#AdamsKMMCD11