> Yes, I have a copy of it. But I'm also interested in small compilers
> (even with reduced capabilities) like MinCaml that are easier to
> understand for a beginner, as well as ML specific items like type
> inference, pattern matching, garbage collection, ...

You can have a look at the Neko and NekoML compilers
(http://nekovm.org). Both are written in NekoML which is similar to
OCaml in many points.

Nicolas