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

Vincent Simonet

Browse the full ICFP paper archive.