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

This paper has been withdrawn. On 19 November 2016 at 13:43, Rik Howard <rik@dcs.bbk.ac.uk> wrote:

Comments welcome.

http://www.dcs.bbk.ac.uk/~rik/gallery/investigating-evaluation-typing-and- deduction/document.pdf