Flow-sensitive type recovery in linear-log time.

Michael D. Adams, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig

Browse the full OOPSLA paper archive.