CAML

The Caml Light system, release 0.74, documentation and user's guide

X. Leroy (UNPUBLISHED, 1997)

The Objective Caml system, release 3.02, Documentation and user's manual

X. Leroy and D. Doligez and J. Garrigue and D. Remy and J. Vouillon (UNPUBLISHED, 2001)

M. Serrano and P. Weis (TECHREPORT, 1994)