English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2006-08-01 (15:21)
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