An extension of HM(X) with bounded existential and universal data-types.

Vincent Simonet An extension of HM(X) with bounded existential and universal data-types. 39-50 2003 conf/icfp/2003 ICFP http://doi.acm.org/10.1145/944705.944710 db/conf/icfp/icfp2003.html#Simonet03