Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
MinCaml: an educational compiler for tiny ML subset (documented in Japanese)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-03-08 (22:32)
From: Eijiro Sumii <eijiro_sumii@a...>
Subject: Re: [Caml-list] MinCaml English Documentation
From: "Xavier Leroy" <>
> 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",
> 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.

Eijiro Sumii (
Department of Computer and Information Science, University of Pennsylvania