Manfred Widera Christoph Beierle Function Types in Complete Type Inference. 111-122 2001 conf/sfp/2001 Scottish Functional Programming Workshop db/conf/sfp/sfp2001.html#WideraB01