MLF-omega (new)

Partial Type Inference with Higher-Order Types.

Preliminary investigation was conducted by Paolo Hemrs in his master
dissertation.
[
PDF
|
BIB
].
Further invertigation has been done by Gabriel Scherer
[
PDF
|
BIB
].
This has been implemented in the
new prototype.