On Mon, Mar 12, 2007 at 05:21:46PM -0700, John Meacham wrote: > type checker : boxy types and impredicativity paper + Wobbly type GADT > inference paper
Both of those seem to take basic Hindley-Damas-Milner as a prerequisite ... While I've invented two closely related typechecking algorithms, and I'm pretty sure they're both close relatives of HDM, I can't seem to find a readable paper explaining the real HDM algorithm. A pointer to that would be very useful. Stefan _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
