From: "Xavier Leroy" <Xavier.Leroy@inria.fr>
> There are hard trade-offs between simplicity, execution speed and
> size of generated code.  However, the compilation scheme I used in
> Caml Light is a reasonable starting point.  It was inspired by
> Phil Wadler's chapter in Simon Peyton Jones's book "The implementation of
> functional programming languages" (out of print, but a scanned version
> is available from SPJ's Web page), and described in details in the
> "ZINC report", http://pauillac.inria.fr/~xleroy/publi/ZINC.ps.gz
> 
> Luc Maranget has some papers describing much more sophisticated
> approaches used in the OCaml compiler, if you find so inclined.

Thanks a lot for the references - and yes, that reminds me what I
forgot to mention:

If anybody is interested in a compiler of the complexity "between"
OCaml and MinCaml (and generating byte code or C), it may be good to
take a look at Caml Light, Camlot, or Bigloo.

  http://caml.inria.fr/distrib-caml-light-eng.html

--
Eijiro Sumii (http://www.cis.upenn.edu/~sumii/)
Department of Computer and Information Science, University of Pennsylvania