The Caml Light system, release 0.6 (1993)

by X Leroy
Venue:Documentation and users manual , INRIA