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
Resources for compiler/interpreter writers
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: William D. Neumann <wneumann@c...>
Subject: Re: [Caml-list] Resources for compiler/interpreter writers
On Tue, 1 Aug 2006, David MENTRE wrote:

> 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, ...

While not so much about compilers directly, an excellent resource is 
Benjamin Pierce's Types and Programming Languages, which includes 
implementations of a number of different type systems in OCaml.

William D. Neumann


"There's just so many extra children, we could just feed the
children to these tigers.  We don't need them, we're not doing 
anything with them.

Tigers are noble and sleek; children are loud and messy."

         -- Neko Case

Life is unfair.  Kill yourself or get over it.
 	-- Black Box Recorder