Dynamic inference of static types for ruby.

Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks

Browse the full POPL paper archive.