"Rank polymorphism viewed as a constraint problem."

Justin Slepak, Panagiotis Manolios, Olin Shivers (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics