Complete type inference in functional programming

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},
}