@inproceedings{WideraBeierle2001-SFP,
author={Manfred Widera and Christoph Beierle},
title={Function Types in Complete Type Inference},
booktitle={Proceedings of the 3rd Scottish
		  Functional Programming Workshop},
year=2001
}