The Zinc experiment: An economical implementation of theMLlanguage (1990)

by X Leroy
Venue:Rapport Technique 117, INRIA Rocquencourt