Klaus Aehlig. Parameter-free polymorphic types. Annals of Pure and Applied Logic, 156(1):3-12, 2008. [doi]
@article{Aehlig08, title = {Parameter-free polymorphic types}, author = {Klaus Aehlig}, year = {2008}, doi = {10.1016/j.apal.2008.06.002}, url = {http://dx.doi.org/10.1016/j.apal.2008.06.002}, researchr = {https://researchr.org/publication/Aehlig08}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {156}, number = {1}, pages = {3-12}, }