From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA12660 for caml-red; Sun, 14 Jan 2001 21:38:19 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA24499 for <caml-list@pauillac.inria.fr>; Sat, 13 Jan 2001 23:24:15 +0100 (MET)
Received: from aps1.apsystems.it ([194.243.250.70])
	by concorde.inria.fr (8.11.1/8.10.0) with SMTP id f0DMOEH03176
	for <caml-list@inria.fr>; Sat, 13 Jan 2001 23:24:15 +0100 (MET)
Message-ID: <284C2B2F396DC6D40C8@aps1.apsystems.it>
Received: From s057.dhcp212-109.cybercable.fr [212.198.109.57] by aps1.apsystems.it [194.243.250.70]
          with "SMTP for NT" [(C) 1998 Nosque Workshop/Dick Lin/Taiwan] BD0198
          id284C2B2F396DC6D40C8; Sun Jan 14 00:07:11 2001 +0000
From: "Alex Baretta" <alex@baretta.com>
To: <caml-list@inria.fr>
Subject: A manual...
Date: Sat, 13 Jan 2001 23:20:59 +0100
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 4.72.3110.5
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3
Sender: weis@pauillac.inria.fr

Hi there! I'm a new Ocaml user and enthusiast. I am studying
programming languages and compilation, and the courses' official
programming tool is Ocaml. Now, I would like to learn more about the
interpretation / compilation of non-Von Neumann-like languages, such
as lambda-calculi and logic languages. These languages are not
mentioned in the c Can anyone point me to some online resource on the
use of Ocaml to build interpreters / compilers for such languages?

One more curiosity: what language is Ocaml written in?


Alex