12 Mar
2007
12 Mar
'07
8:43 p.m.
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