Version française
Home     About     Download     Resources     Contact us    
Browse thread
From a recursive circuit to a functional/recursive OCaml-code...
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Frédéric_Gava <gava@u...>
Subject: Re: [Caml-list] From a recursive circuit to a functional/recursiveOCaml-code...
> If I understand your problem correctly, you're looking for a way to
> model a synchronous dataflow network in OCaml.

Peraps, you should read these works:
http://www-spi.lip6.fr/~mandel/rml

http://www.lri.fr/~pouzet/lucid-synchrone

http://www.lri.fr/~pouzet/SystemesSynchrones.html

Bon WE,
Frédéric Gava