"A Rewriting Logic Approach to Type Inference."

Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics