bookmark

Practical type inference for arbitrary-rank types

http://research.microsoft.com/~simonpj/papers/higher-rank/putting.pdf

Please log in to take part in the discussion (add own reviews or comments).