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

[Kim-Ee Yeoh]

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
result.

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