@inproceedings{WideraBeierle2002SFP,
  author    = {M. Widera and
               C. Beierle},
  title     = {Function Types in Complete Type Inference},
  booktitleSHORT = {Scottish Functional Programming Workshop},
  year      = {2002},
  pages     = {111-122},
  editorLONG    = {Kevin Hammond and
               Sharon Curtis},
  editor    = {K. Hammond and
                   S. Curtis},
  booktitleLONG     = {Selected papers from the 3rd Scottish Functional Programming
               Workshop (SFP01), University of Stirling, Bridge of Allan,
               Scotland, August 22nd to 24th, 2001},
  publisher = {Intellect},
  booktitle = {Trends in Functional Programming, Volume 3},
  seriesNNN    = {Trends in Functional Programming},
  volumeNNN    = {3},
  isbn      = {1-84150-070-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}