[TYPES] HM(x) vs Theory of Qualified Types

robert dockins robdockins at fastmail.fm
Wed Oct 19 12:45:43 EDT 2005

I have recently been reading some of the literature on HM(x), and I am 
attempting to fit it into my mental framework.  From an initial reading 
it appears somewhat similar to Mark P. Jones' Theory of Qualified Types, 
  but I have several times seen HM(x) referred to as a more general 
framework.  Does HM(x) fully subsume Qualified Types? Could someone on 
this list perhaps explain their exact relationship?

Robert Dockins

More information about the Types-list mailing list