Ralf Lämmel. The Sketch of a Polymorphic Symphony. Electronic Notes in Theoretical Computer Science, 70(6):135-155, 2002. [doi]
@article{Lammel02:1, title = {The Sketch of a Polymorphic Symphony}, author = {Ralf Lämmel}, year = {2002}, url = {http://www.elsevier.com/gej-ng/31/29/23/125/47/show/Products/notes/index.htt#008}, researchr = {https://researchr.org/publication/Lammel02%3A1}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {70}, number = {6}, pages = {135-155}, }