Leroy, Xavier The ZINC experiment, an economical implementation of the ML language. Technical report 117, INRIA, 1990.
(1990)
Languages mentioned
Zinc
{1990}