[Haskell-cafe] I wrote a type checker: ARF. Is it novel?

Kim-Ee Yeoh ky3 at atamo.com
Mon Sep 7 03:28:38 UTC 2015

On Mon, Sep 7, 2015 at 10:21 AM, David Foster <davidfstr at gmail.com> wrote:

> I'm posting these questions here because I'm guessing that a number of
> folk that work with type systems and type checkers are likely to be
> subscribed to this list. If there are other more-appropriate venues, I'd
> love to hear about about them as well.

There's also the TYPES mailing list, of which a search should locate as top

-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150907/bc48ef6d/attachment.html>

More information about the Haskell-Cafe mailing list