Manfred Widera;Christoph Beierle
-;-
Function types in complete type inference
Trends in functional programming
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008
Higher-Order and Symbolic Computation