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

by Vincent Simonet
Venue:ACM SIGPLAN Notices
Citations:8 - 2 self