MinCaml:小さな ML(訳注:関数型言語の一つ)サブセットから SPARCアセンブリ言語への教育的コンパイラ(OCamlでわずか2000行、しかし、OCaml&GCCとほぼ同じ効率---あるいは、より効率的)