![The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]](stuff/wrla.png "The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]")
Luigi Liquori, Benjamin Wack
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]
WRLA, 2005.
@article{WRLA-2004-LiquoriW05,
author = "Luigi Liquori and Benjamin Wack",
doi = "10.1016/j.entcs.2004.06.027",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "89--111",
title = "{The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]}",
volume = 117,
year = 2005,
}