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

Rik Howard rik at dcs.bbk.ac.uk
Sat Nov 19 13:43:04 UTC 2016


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/20161119/45f4f6cf/attachment.html>


More information about the Haskell-Cafe mailing list