Version française
Home     About     Download     Resources     Contact us    
Browse thread
(*)CaML -> SML ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Pascal Poizat <Pascal.Poizat@i...>
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"