[Haskell-cafe] I wrote a type checker: ARF. Is it novel?
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe