Manfred Widera. Complete type inference in functional programming. PhD thesis, University of Hagen, Germany, 2001. [doi]
@phdthesis{dnb-14278, title = {Complete type inference in functional programming}, author = {Manfred Widera}, year = {2001}, url = {http://d-nb.info/962832421}, researchr = {https://researchr.org/publication/dnb-14278}, cites = {0}, citedby = {0}, school = {University of Hagen, Germany}, }