[Haskell-cafe] Investigating Evaluation, Typing and Deduction -- WIP

[Rik Howard]

This paper has been withdrawn.




On 19 November 2016 at 13:43, Rik Howard <rik at dcs.bbk.ac.uk> wrote:

> Comments welcome.
>
> http://www.dcs.bbk.ac.uk/~rik/gallery/investigating-evaluation-typing-and-
> deduction/document.pdf
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20161121/448e4b76/attachment.html>