(*)CaML -> SML ?

From: Pascal Poizat (Pascal.Poizat@irin.univ-nantes.fr)
Date: Tue May 05 1998 - 15:06:06 MET DST

Next message: Christian Lindig: "Philip Wadler's Pretty Printer for OCaml"
Previous message: Gregory Morrisett: "ML Workshop -- Call for Papers"
In reply to: Pierre Weis: "Re: Non-destructive record update??"
Next in thread: Daniel de Rauglaudre: "Re: (*)CaML -> SML ?"
Reply: Daniel de Rauglaudre: "Re: (*)CaML -> SML ?"
Reply: Jacques GARRIGUE: "Re: (*)CaML -> SML ? / SML -> Caml ?"
Reply: Patrice AUFFRET: "Graphisme"
Maybe reply: Emmanuel CHAILLOUX: "Re: (*)CaML -> SML ?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Message-Id: <354F0EBE.A96BE3BF@irin.univ-nantes.fr>
Date: Tue, 05 May 1998 13:06:06 +0000
From: Pascal Poizat <Pascal.Poizat@irin.univ-nantes.fr>
To: caml-list@inria.fr
Subject: (*)CaML -> SML ?

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"

Next message: Christian Lindig: "Philip Wadler's Pretty Printer for OCaml"
Previous message: Gregory Morrisett: "ML Workshop -- Call for Papers"
In reply to: Pierre Weis: "Re: Non-destructive record update??"
Next in thread: Daniel de Rauglaudre: "Re: (*)CaML -> SML ?"
Reply: Daniel de Rauglaudre: "Re: (*)CaML -> SML ?"
Reply: Jacques GARRIGUE: "Re: (*)CaML -> SML ? / SML -> Caml ?"
Reply: Patrice AUFFRET: "Graphisme"
Maybe reply: Emmanuel CHAILLOUX: "Re: (*)CaML -> SML ?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:14 MET