CAML Light
Xavier Leroy
A CAML subset. A small portable implementation, which uses a bytecode interpreter written in C. It runs on Unix, MS-DOS, and the Mac.