Rank polymorphism viewed as a constraint problem.

Justin Slepak, Panagiotis Manolios, Olin Shivers

Browse the full PLDI paper archive.