From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA16339 for caml-redistribution; Mon, 11 May 1998 11:29:10 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA08675 for ; Tue, 5 May 1998 15:06:14 +0200 (MET DST) Received: from narech (narech.irin.sciences.univ-nantes.fr [193.52.99.2]) by nez-perce.inria.fr (8.8.7/8.8.5) with SMTP id PAA05711 for ; Tue, 5 May 1998 15:06:12 +0200 (MET DST) Received: from irin.univ-nantes.fr (gromit) by narech (5.x/SMI-SVR4) id AA10866; Tue, 5 May 1998 15:05:08 +0200 Sender: weis Message-Id: <354F0EBE.A96BE3BF@irin.univ-nantes.fr> Date: Tue, 05 May 1998 13:06:06 +0000 From: Pascal Poizat Organization: IRIN X-Mailer: Mozilla 4.05 [en] (X11; I; Linux 2.0.32 i586) Mime-Version: 1.0 To: caml-list@inria.fr Subject: (*)CaML -> SML ? Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Bonjour, Il y a pas mal d'articles ou d'outils qui se basent sur SML qui semble bien implante dans le monde anglo-saxon. Je pense par exemple a Design/CPN. Cependant, personnellement j'utilise Camllight et je me mets a Objective CaML. Je me demandais s'il y avait un outil du style (*)CaML vers SML en passant par CaMLp4 par exemple ? Je pense qu'il faut aussi ne pas utiliser certains traits de CamlLight... Pascal PS: je ne suis pas inscrit sur une quelconque liste de diffusion caml, donc merci de poster d'eventuelles reponses a: Pascal.Poizat@irin.univ-nantes.fr. -- Pascal Poizat : Pascal.Poizat@irin.univ-nantes.fr http://www.sciences.univ-nantes.fr/info/perso/permanents/poizat/ "j'entends et j'oublie, je vois et je retiens, je fais et je comprends"