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

On Mon, Sep 7, 2015 at 10:21 AM, David Foster 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