ML:::F:::: raising ML to the power of system F

Didier Le Botlan, Didier Rémy. ML:::F:::: raising ML to the power of system F. SIGPLAN Notices, 38(9):27-38, 2003. [doi]

Abstract

Abstract is missing.