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
From Ocaml to sequence calculus
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-08-17 (12:28)
From: tumenjargal tsagaan <delgiika@y...>
Subject: From Ocaml to sequence calculus

I was wondering if someone is aware of a tool which generates
a sequence calculus representation from Ocaml code or vice versa?

Is there any attempt towards this idea?

Kinds regards,