Function Types in Complete Type Inference

Manfred Widera, Christoph Beierle. Function Types in Complete Type Inference. In Kevin Hammond, Sharon Curtis, editors, Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001. Volume 3 of Trends in Functional Programming, pages 111-122, Intellect, 2001.

Abstract

Abstract is missing.