Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu. A Rewriting Logic Approach to Type Inference. In Andrea Corradini, Ugo Montanari, editors, Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Volume 5486 of Lecture Notes in Computer Science, pages 135-151, Springer, 2008. [doi]
Abstract is missing.