The Caml Light system, release 0.7 - Documentation and user's manual INRIA (1995)

by X Leroy